Theorem TopCat.Presheaf.covering_presieve_eq_self

Modification history