Def category_theory.pseudofunctor.mk_of_oplax'

Modification history