Theorem AntisymmRel.trans

Modification history

2025-01-26 13:15

Mathlib/Order/Antisymmetrization.lean

feat(Order/Antisymmetrization): `AntisymmRel` lemmas (#19571) …

Modified AntisymmRel.trans View on Github →

2022-12-07 12:38

Mathlib/Order/Antisymmetrization.lean

feat port: Order.Antisymmetrization (#876) …

Added AntisymmRel.trans View on Github →