Theorem CategoryTheory.Over.associator_inv_left_snd

Modification history