Def CategoryTheory.Join.pseudofunctorRight

Modification history