use upstream normal forms#581

ftynse wants to merge 1 commit into

mainiree-org/aster:mainfrom

users/ftynse/normalformiree-org/aster:users/ftynse/normalformCopy head branch name to clipboard