Theorem CategoryTheory.Over.tensorUnit_left

Modification history