Def Lean.MVarId.subsingleton

Modification history