Theorem Mathlib.Tactic.GCongr.AntisymmRel.right

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