Commit 2025-02-28 21:49 6c3479b8

View on Github →

feat: starConvex_iInter₂ (#22383) Add lemma starConvex_iInter₂. See #22344

Estimated changes

modified theorem convex_iInter₂
added theorem starConvex_iInter₂
added theorem starConvex_iUnion₂