Skip to content

Equivalences of polynomial endofunctors#1722

Open
fredrik-bakke wants to merge 5 commits into
UniMath:masterfrom
fredrik-bakke:equiv-polyendo
Open

Equivalences of polynomial endofunctors#1722
fredrik-bakke wants to merge 5 commits into
UniMath:masterfrom
fredrik-bakke:equiv-polyendo

typo

c8997c7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.