Theorem supₛ_prod

Modification history

2023-05-14 07:05

Mathlib/Order/CompleteLattice.lean

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

Deleted supₛ_prod View on Github →

2023-02-02 10:19

Mathlib/Order/CompleteLattice.lean

chore: tidy various files (#2009)

Added supₛ_prod View on Github →