Theorem mem_range_gpow_iff_mem_range_order_of
Modification history
2018-08-18 01:02
group_theory/order_of_element.lean
refactor(group_theory/order_of_element): use gpowers instead of range (#265)
Deleted mem_range_gpow_iff_mem_range_order_ofView on Github →