Theorem IsIntegrallyClosed.eq_map_mul_C_of_dvd

Modification history