Prove remaining properties of the category of locally ringed spaces - #443

Prove remaining properties of the category of locally ringed spaces#443

ScriptRaccoon merged 13 commits into

mainScriptRaccoon/CatDat:mainfrom

locally-ringed-spaces-propertiesScriptRaccoon/CatDat:locally-ringed-spaces-propertiesCopy head branch name to clipboard