Theorem IsSeparable.finInsepDegree_eq

Modification history