Skip to content

adjust test files

c183ce7
Select commit
Loading
Failed to load commit list.
Merged

Add properties: cartesian filtered colimits + cocartesian cofiltered limits #84

adjust test files
c183ce7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar