Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.restrict_def
Modification history
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 →