Theorem CategoryTheory.extensiveTopology.mem_sieves_iff_contains_colimit_cofan

Modification history