Theorem CategoryTheory.Dial.tensor_comp

Modification history