Skip to content

Add "walking_composable_pair", "locally cartesian closed" and "strong…

f152e68
Select commit
Loading
Failed to load commit list.
Merged

Add "locally cartesian closed" property #3

Add "walking_composable_pair", "locally cartesian closed" and "strong…
f152e68
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs