Theorem CategoryTheory.Over.tensorHom_left

Modification history