perf: compact normal form of CommAlgebra baseChange#1314

plt-amy wants to merge 1 commit into

agda:masteragda/cubical:masterfrom

plt-amy:aliao/oncoprod-perfplt-amy/cubical:aliao/oncoprod-perfCopy head branch name to clipboard