Theorem IsIntegrallyClosed.isIntegral_iff

Modification history