Theorem Mathlib.Tactic.GCongr.AntisymmRel.left

Modification history

2025-08-19 14:37
Mathlib/Order/Antisymmetrization.lean
feat(Order/Antisymmetrization): support `AntisymmRel` in `gcongr_forward` (#28514) …
Added Mathlib.Tactic.GCongr.AntisymmRel.leftView on Github →