The category of measurable spaces is regular, and not coaccessible#314

ScriptRaccoon merged 4 commits into

mainScriptRaccoon/CatDat:mainfrom

meas-not-coaccessibleScriptRaccoon/CatDat:meas-not-coaccessibleCopy head branch name to clipboard