Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-10-08 22:56
44c2586a
View on Github →
feat: analogue of iSup.prod for sets (
#7528
)
Estimated changes
Modified
Mathlib/Data/Set/Lattice.lean
added
theorem
Set.iUnion_prod'