Theorem Function.updateFinset_def

Modification history

2023-11-30 18:08
Mathlib/Data/Finset/Update.lean
feat: define the marginal of a function (#8379) …
Added Function.updateFinset_defView on Github →