Theorem AntisymmRel.refl

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.reflView on Github →
2025-02-08 21:46
Mathlib/Order/Antisymmetrization.lean
chore: `antisymm_refl` → `Antisymm.refl` (#21202) …
Added AntisymmRel.reflView on Github →