Def CategoryTheory.WithTerminal.prelaxfunctor

Modification history