Theorem: ex_1_2_10_iii_5 (AlgebraI/Subgroups.lean)

State before:
⊢ Nat.find (_ : Monoid.ExponentExists (Equiv.Perm (Fin 5))) = 60
Tactic:
native_decide
State after:
no goals