Realfun and subspaces#752

zstone1 merged 15 commits intomath-comp:mastermath-comp/analysis:masterfrom

zstone1:realfun_withinzstone1/analysis:realfun_withinCopy head branch name to clipboard