Theorem antisymmRel_iff_eq

Modification history

2026-01-09 08:53
Mathlib/Order/Antisymmetrization.lean
chore(Order/Defs/Unbundled): deprecate `IsRefl` in favor of core's `Std.Refl` (#33755)
Modified antisymmRel_iff_eqView on Github →
2026-01-07 07:34
Mathlib/Order/Antisymmetrization.lean
chore(Order/Defs/Unbundled): deprecate `IsAntisymm` in favor of core's `Std.Antisymm` (#33685)
Modified antisymmRel_iff_eqView on Github →
2025-01-26 13:15
Mathlib/Order/Antisymmetrization.lean
feat(Order/Antisymmetrization): `AntisymmRel` lemmas (#19571) …
Modified antisymmRel_iff_eqView on Github →
2022-12-14 10:06
Mathlib/Order/Antisymmetrization.lean
chore: tidy up some files (#1009)
Added antisymmRel_iff_eqView on Github →