Structure Mathlib.Tactic.GCongr.GCongrLemma

Modification history

2023-06-05 08:37
Mathlib/Tactic/GCongr/Core.lean
feat: tactic `gcongr` for "relational congruence" (#3965) …
Added Mathlib.Tactic.GCongr.GCongrLemmaView on Github →