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 →