Theorem isSquare_mabs

Modification history

2024-07-24 08:31

Mathlib/Algebra/Order/Group/Abs.lean

chore (Algebra.Order.Group.Abs): split file into unbundled and bundled material (#15065) …

Modified isSquare_mabs View on Github →

2024-05-15 09:43

Mathlib/Algebra/Order/Group/Abs.lean

move(Algebra/Parity): Split file (#12829) …

Added isSquare_mabs View on Github →