Def Lean.Meta.mkHCongrWithArity'

Modification history

2023-09-10 13:09
Mathlib/Lean/Meta/CongrTheorems.lean
refactor: re-home some meta code (#6921)
Added Lean.Meta.mkHCongrWithArity'View on Github →