Skip to content
.github/workflows/zulip_emoji_labelling.yaml

feat: the normal closure of an empty set is the trivial subgroup #41135

Sign in to view logs

feat: the normal closure of an empty set is the trivial subgroup

feat: the normal closure of an empty set is the trivial subgroup #41135

Triggered via pull request February 12, 2026 17:16
@grunweggrunweg
labeled #35029
Status Success
Total duration 15s
Artifacts –

zulip_emoji_labelling.yaml

on: pull_request_target
set_pr_emoji
11s
set_pr_emoji
Fit to window
Zoom out
Zoom in