Def CategoryTheory.SingleFunctors.evaluation

Modification history