Add the categories of filtered vector spaces and of finite-dimensional vector spaces#244

ScriptRaccoon merged 4 commits into

mainScriptRaccoon/CatDat:mainfrom

finite-dim-vector-spacesScriptRaccoon/CatDat:finite-dim-vector-spacesCopy head branch name to clipboard