Theorem CategoryTheory.ChosenFiniteProducts.preservesTerminalIso_id

Modification history