Theorem CategoryTheory.ChosenFiniteProducts.ofChosenFiniteProducts.tensor_id

Modification history