Theorem CategoryTheory.ChosenFiniteProducts.preservesTerminalIso_comp

Modification history