Library HoTT.Categories.Adjoint.UniversalMorphisms

Adjunctions as universal morphisms

This page has been generated by coqdoc