Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.sUnion_mul
Modification history
2025-03-20 16:39
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
chore(Algebra/Group): split `iUnion`/`iInter` from long file `Pointwise/Set/Basic.lean` (#23152) …
Modified
Set.sUnion_mul
View on Github →
2024-09-30 20:40
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat(Algebra/Group/Pointwise/Set/Basic): sInter and sUnion forms of pointwise operations (#17253) …
Added
Set.sUnion_mul
View on Github →