mathlib
206b56ec - doc(group_theory.quotient_group): Fix typos in main statement list (#11581)

Commit

3 years ago

doc(group_theory.quotient_group): Fix typos in main statement list (#11581) This now matches the docstring for the declaration in question.

Author

nomeata

Parents