Theorem TopCat.Sheaf.interUnionPullbackCone_snd

Modification history