Cantor misc#893

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

zstone1:cantor_misczstone1/analysis:cantor_miscCopy head branch name to clipboard