mathlib
c05c15fe - feat(group_theory/order_of_element): pow_eq_mod_card (#8354)

Commit

4 years ago

feat(group_theory/order_of_element): pow_eq_mod_card (#8354) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents