Skip to content
Autolabel PRs

feat: cosets of a subgroup are disjoint #705

Sign in to view logs

feat: cosets of a subgroup are disjoint

feat: cosets of a subgroup are disjoint #705

Triggered via pull request October 9, 2024 11:48
@YaelDilliesYaelDillies
opened #17578
pairwise_disjoint_smul
Status Success
Total duration 1m 26s
Artifacts –

add_label_from_diff.yaml

on: pull_request
Add topic label
1m 17s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
Applicable labels: #[t-algebra]
Add topic label
added label: t-algebra