Skip to content

Various additions to functors#246

Open
ScriptRaccoon wants to merge 13 commits into
mainfrom
functor-additions
Open

Various additions to functors#246
ScriptRaccoon wants to merge 13 commits into
mainfrom
functor-additions

add indiscrete topology functor Set ---> Top

9265e4b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar