Theorem Algebra.IsSeparable.sepDegree_eq

Modification history