Theorem CategoryTheory.Over.rightUnitor_inv_left_fst

Modification history