Theorem Sup_prod

Modification history

2023-02-02 10:19

Mathlib/Order/CompleteLattice.lean

chore: tidy various files (#2009)

Deleted Sup_prod View on Github →

2023-01-25 10:47

Mathlib/Order/CompleteLattice.lean

feat: missing API lemmas about the prod instance in Order/CompleteLattice (#1369) …

Added Sup_prod View on Github →