Theorem CategoryTheory.isSheaf_coherent_iff_regular_and_extensive

Modification history