Theorem CategoryTheory.Sheaf.chosenFiniteProducts_whiskerRight_val

Modification history