simplify proof script, %type in notations#1013

proux01 merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:measure_20230822affeldt-aist/analysis:measure_20230822Copy head branch name to clipboard