Def Lean.Meta.synthSubsingletonInst

Modification history