Theorem Submonoid.log_pow_eq_self

Modification history