Skip to content

simplify proof script, %type in notations #2009

simplify proof script, %type in notations

simplify proof script, %type in notations #2009