Theorem TopCat.Presheaf.presieveOfCovering.indexOfHom_spec

Modification history