Def Mathlib.Tactic.GCongr.addGCongrLemma

Modification history

2026-07-02 15:44

Mathlib/Tactic/GCongr/Core.lean

feat(GRewrite): strict rewriting (#38868) …

Added Mathlib.Tactic.GCongr.addGCongrLemma View on Github →