Theorem CategoryTheory.Over.leftUnitor_hom_left

Modification history