Theorem CategoryTheory.Presheaf.app_localPreimage

Modification history