Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Sup_inv

Modification history

2022-06-20 11:25
src/algebra/order/pointwise.lean
feat(algebra/order/pointwise): Supremum of pointwise operations (#13669) …
Added Sup_invView on Github →