Theorem TopCat.Sheaf.extend_hom_app

Modification history