mathlib3
f8ca7902 - chore(group_theory/congruence): fix docstring (#8162)

Commit

4 years ago

chore(group_theory/congruence): fix docstring (#8162) This fixes a docstring which didn't match the code.

Author

dwarn

Parents