Theorem CategoryTheory.Over.rightUnitor_hom_left

Modification history