Theorem CategoryTheory.ChosenFiniteProducts.ofChosenFiniteProducts.tensor_comp

Modification history