Theorem CategoryTheory.ChosenFiniteProducts.lift_map

Modification history