Theorem CategoryTheory.Over.rightUnitor_inv_left_snd

Modification history