Theorem Ideal.coe_smul_primesOver

Modification history