Theorem CategoryTheory.Over.leftUnitor_inv_left_fst

Modification history