Theorem CategoryTheory.Over.tensorObj_ext

Modification history