[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Shapes as types, to define extension types... I do not believe in algebra anymore... \section{Principal ideals} Principal ideals are elements of the quotient $R/R^\times$. category: redirected to nlab