Theorem Monoid.pow_eq_mod_exponent

Modification history