Theorem AntisymmRel.rfl

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

2025-02-08 21:46

Mathlib/Order/Antisymmetrization.lean

chore: `antisymm_refl` → `Antisymm.refl` (#21202) …

Modified AntisymmRel.rfl View on Github →

2025-01-26 13:15

Mathlib/Order/Antisymmetrization.lean

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

Added AntisymmRel.rfl View on Github →