Theorem CategoryTheory.Over.leftUnitor_inv_left_snd

Modification history