Theorem IsIntegrallyClosed.exists_algebraMap_eq_of_isIntegral_pow

Modification history