Theorem Pi.abs_def

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 Pi.abs_def View on Github →

2024-03-07 21:56

Mathlib/Algebra/Order/Group/Abs.lean

feat: Absolute value and positive parts in pi types (#10256) …

Added Pi.abs_def View on Github →