Commit 2024-08-20 16:31 bc3ab3ed

View on Github →

feat: Set.iUnion over Sum (#15565)

Estimated changes

added theorem Set.iInter_sum
added theorem Set.iUnion_sum