Theorem CategoryTheory.Over.associator_inv_left_fst_fst

Modification history