Theorem UniqueFactorizationMonoid.normalize_normalized_factor

Modification history