Theorem Function.update_sup

Modification history

2023-05-01 15:10
Mathlib/Order/Lattice.lean
feat: `f.update i '' Icc a b = Icc (f.update i a) (f.update i b)` (#3747) …
Added Function.update_supView on Github →