Theorem infₛ_one

Modification history

2023-05-14 07:05

Mathlib/Algebra/Order/Pointwise.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Deleted infₛ_one View on Github →

2023-01-13 18:56

Mathlib/Algebra/Order/Pointwise.lean

feat: port Algebra.Order.Pointwise (#1533)

Added infₛ_one View on Github →