Theorem CategoryTheory.Over.associator_inv_left_fst_snd

Modification history