Theorem AntisymmRel.refl

Modification history

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