Commit 2024-10-20 18:58 15fb8246

View on Github →

chore(Topology/Exterior): golf (#17955) Use exterior_mono to golf 3 lemmas

Estimated changes

modified theorem exterior_iInter_subset
modified theorem exterior_inter_subset
modified theorem exterior_sInter_subset