Theorem Function.updateFinset_univ_apply

Modification history

2026-02-11 19:24
Mathlib/Data/Finset/Update.lean
feat: some finset lemmas (#13686) …
Added Function.updateFinset_univ_applyView on Github →