mathlib3
cf72eff0 - refactor(group_theory/quotient_group): Fix typo (#9746)

Commit

4 years ago

refactor(group_theory/quotient_group): Fix typo (#9746) Fix typo in `quotient_bot`.

Author

tb65536

Parents