Go back to the tag's page.
Closed immersions between countably indexed are as expected
Tags: added new tags
Improved handling relationship morphisms and ring maps