Theorem CategoryTheory.Monoidal.tensorObj_map

Modification history