Theorem IsAlgClosed.isSquare

Modification history

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