sage
remove some deprecated stuff in groups/
#41437
Merged

remove some deprecated stuff in groups/ #41437

fchapoton
fchapoton remove some deprecated stuff in groups/
226286bc
github-actions github-actions added s: needs review
fchapoton fchapoton added c: group theory
github-actions
r-mb
r-mb r-mb removed s: needs review
r-mb r-mb added s: positive review
vbraun vbraun merged d6da2c47 into develop 38 days ago
github-actions github-actions removed s: positive review
fchapoton fchapoton deleted the deprec_groups_2026 branch 38 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone