Real Banach algebras#1781

lowasser wants to merge 16 commits intoUniMath:masterUniMath/agda-unimath:masterfrom

lowasser:real-banach-algebraslowasser/agda-unimath:real-banach-algebrasCopy head branch name to clipboard