Theorem isIntegral_quotientMap_iff

Modification history