Mathlib v3 is deprecated. Go to Mathlib v4

Def abs

Modification history

2021-09-06 12:25

src/algebra/ordered_group.lean

feat(algebra/lattice_ordered_group): add basic theory of lattice ordered groups (#8673)

Deleted abs View on Github →

2021-07-07 08:47

src/algebra/ordered_group.lean

refactor(algebra/ordered_group): another step in the `order` refactor -- ordered groups (#8060) …

Modified abs View on Github →

2020-05-18 13:38

src/algebra/ordered_group.lean

refactor(algebra): merge init_.algebra into algebra (#2707) …

Added abs View on Github →