Def Lean.MVarId.independent?

Modification history