Skip to content

decide properties (left-inv. + ess. injective) for all functors

8f075cd
Select commit
Loading
Failed to load commit list.
Merged

Add functor properties: essentially injective / left-invertible #235

decide properties (left-inv. + ess. injective) for all functors
8f075cd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar