Theorem CategoryTheory.Over.tensorObj_left

Modification history