mathlib3
cd196a8a - feat(group_theory/order_of_element): 1 is finite order, as is g⁻¹ (#12749)

Commit

3 years ago

feat(group_theory/order_of_element): 1 is finite order, as is g⁻¹ (#12749)

Author

Julian

Julian

Parents

Loading