Theorem CategoryTheory.Sheaf.chosenFiniteProducts_snd_val

Modification history