Theorem CategoryTheory.Sheaf.chosenFiniteProducts_whiskerLeft_val

Modification history