Def Lean.MVarId.applyRules

Modification history