nLab
pro-ring

A pro-object in rings.

Created on July 6, 2016 at 08:04:06. See the history of this page for a list of all contributions to it.