Elaborator: add label search and (partial) proof search for fake equations in labels
Elaborator: add label search and (partial) proof search for fake equations in labels
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram