Skip to content

Add various categories with subobject classifiers - #371

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

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

Commits

Commits on Sep 20, 2026

Commits on Sep 21, 2026