Def CategoryTheory.Join.pseudofunctorLeft

Modification history