Theorem AlgEquiv.Algebra.isSeparable

Modification history