Theorem TopCat.Sheaf.interUnionPullbackConeLift_left

Modification history