Theorem AlgEquiv.isIntegral_iff

Modification history