Def Lean.MVarId.applyConst

Modification history