Commit 2024-12-20 14:57 81263905

View on Github →

feat: iUnion and iInter over PSigma (#20077)

Estimated changes

Modified Mathlib/Data/Set/Lattice.lean

added theorem Set.iInter_psigma'

added theorem Set.iInter_psigma

added theorem Set.iUnion_psigma'

added theorem Set.iUnion_psigma