Commit 2025-11-28 14:12 7f650243

View on Github →

refactor(FieldTheory/IsAlgClosed,IsSepClosed): rename from factors to splits (#32036) This PR corrects the names of the fields of IsAlgClosed and IsSepClosed.

Estimated changes

deleted theorem IsAlgClosed.splits