mathlib3
41b90d7a - feat(group_theory/index): Second isomorphism theorem in terms of `relindex` (#9915)

Commit

4 years ago

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

Author

tb65536

Parents