Def con.quotient_ker_equiv_of_right_inverse

Modification history

2021-06-18 23:32
src/group_theory/congruence.lean
feat(group_theory): computable 1st isomorphism theorem (#7988) …
Added con.quotient_ker_equiv_of_right_inverseView on Github →