mathlib

e29d9110 - feat(group_theory/quotient_group): properties of quotients of homomorphisms and equivalences (#13046)

feat(group_theory/quotient_group): properties of quotients of homomorphisms and equivalences (#13046) Add `id`, `comp` for quotients of homomorphisms and `refl`, `symm`, `trans` for quotients of equivalences.