Theorem UniqueFactorizationMonoid.pow_right_injective

Modification history