Theorem IsSepClosed.isSquare

Modification history

2026-09-28 23:44
Mathlib/FieldTheory/IsSepClosed.lean
chore(FieldTheory): make use of `IsSquare` (#44309) …
Added IsSepClosed.isSquareView on Github →