Theorem Submonoid.pow_log_eq_self

Modification history