Theorem CategoryTheory.ChosenFiniteProducts.default_eq_toUnit

Modification history