Theorem infₛ_Prod

Modification history

2023-02-02 10:19

Mathlib/Order/CompleteLattice.lean

chore: tidy various files (#2009)

Deleted infₛ_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 infₛ_Prod View on Github →