Theorem Submonoid.log_pow_int_eq_self

Modification history