Def Lean.MVarId.applyRflOrId

Modification history

2026-05-05 08:39
Mathlib/Tactic/GCongr/Core.lean
feat(GCongr): `applyRflOrId` (#38556) …
Added Lean.MVarId.applyRflOrIdView on Github →