Theorem UniqueFactorizationMonoid.pow_eq_pow_iff

Modification history