Theorem CategoryTheory.Over.hom_left_inv_left

Modification history