Def Mathlib.Tactic.GCongr.findGCongrLemmas?

Modification history

2026-07-02 15:44
Mathlib/Tactic/GCongr/Core.lean
feat(GRewrite): strict rewriting (#38868) …
Added Mathlib.Tactic.GCongr.findGCongrLemmas?View on Github →