Skip to content

Add various categories with subobject classifiers - #371

Open
ScriptRaccoon wants to merge 6 commits into
mainfrom
empty-or-finite-pairs-of-sets
Open

Add various categories with subobject classifiers#371
ScriptRaccoon wants to merge 6 commits into
mainfrom
empty-or-finite-pairs-of-sets

add the category of connected sequences of sets

b8d4fd3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar