minor generalizations measure -> content#977

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:measure_20230717affeldt-aist/analysis:measure_20230717Copy head branch name to clipboard