Theorem CategoryTheory.Sheaf.chosenFiniteProducts_lift_val

Modification history