Theorem Nat.mem_primeFactorsList_mul_of_coprime

Modification history