Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.restrict₂_def
Modification history
2025-03-14 08:06
Mathlib/Data/Finset/Pi.lean
feat: preimage of a product by restrict (#22558) …
Modified
Finset.restrict₂_def
View on Github →
2024-09-18 10:16
Mathlib/Data/Finset/Pi.lean
feat: rewrite cylinders and projective families of measures in terms of `Finset.restrict` (#16327) …
Added
Finset.restrict₂_def
View on Github →