Theorem UniqueFactorizationMonoid.exists_prime_iff

Modification history