Theorem CategoryTheory.ChosenFiniteProducts.toUnit_unique

Modification history