Theorem CategoryTheory.yonedaEvaluation_map_down

Modification history