Theorem antisymmRel_refl

Modification history

2025-02-08 21:46
Mathlib/Order/Antisymmetrization.lean
chore: `antisymm_refl` → `Antisymm.refl` (#21202) …
Deleted antisymmRel_reflView on Github →
2022-12-07 12:38
Mathlib/Order/Antisymmetrization.lean
feat port: Order.Antisymmetrization (#876) …
Added antisymmRel_reflView on Github →