P
Initializing...
Annihilated nonunits make the idealization a total quotient ring · Prove2Me