Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-25 06:51 41b90d7a

View on Github →

feat(group_theory/index): Second isomorphism theorem in terms of relindex (#9915) Restates the second isomorphism theorem in terms of relindex.

Estimated changes