Commit 2026-09-28 23:44 3f6737de
View on Github →chore(FieldTheory): make use of IsSquare (#44309)
- Replace bare
∃ (z : k), x = z * zwithIsSquare xfor better connection to existing API
chore(FieldTheory): make use of IsSquare (#44309)
∃ (z : k), x = z * z with IsSquare x for better connection to existing API