mathlib3
ca554bee - chore(group_theory/quotient_group): make pow definitionally equal (#10833)

Commit

4 years ago

chore(group_theory/quotient_group): make pow definitionally equal (#10833) Motivated by a TODO comment.

Author

eric-wieser

Parents