Theorem TopCat.Presheaf.map_restrict

Modification history