Theorem sq_add_sq_eq_zero

Modification history

2026-08-31 10:08
Mathlib/Algebra/Order/Ring/Unbundled/Basic.lean
feat: add zero lemmas for even powers (#43161)
Added sq_add_sq_eq_zeroView on Github →