Skip to content

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

Merged
ScriptRaccoon merged 4 commits into
mainfrom
finite-dim-vector-spaces
Jun 14, 2026
Merged

Add the categories of filtered vector spaces and of finite-dimensional vector spaces#244
ScriptRaccoon merged 4 commits into
mainfrom
finite-dim-vector-spaces

add BG for uncountable groups G

0b81c5f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar