Theorem AlgEquiv.isSeparable_iff

Modification history