Go back to the tag's page.
Tags: Added new tags
Convert notation from schemes to ringed spaces, part 2 Now it should be easy to convert this to ringed topoi