Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-01-10 07:38 7b78d177

View on Github →

chore(group_theory/presented_group): generalize universe (#18115) closes #18114

Estimated changes

modified def presented_group