Def Mathlib.Tactic.GCongr.exactAntisymmRelLeft

Modification history

2025-11-19 06:07
Mathlib/Order/Antisymmetrization.lean
chore: move Mathlib to the module system (#31786) …
Deleted Mathlib.Tactic.GCongr.exactAntisymmRelLeftView on Github →
2025-08-19 14:37
Mathlib/Order/Antisymmetrization.lean
feat(Order/Antisymmetrization): support `AntisymmRel` in `gcongr_forward` (#28514) …
Added Mathlib.Tactic.GCongr.exactAntisymmRelLeftView on Github →