Theorem TopCat.Presheaf.coveringOfPresieve_apply

Modification history