Theorem solid

Modification history

2023-05-16 18:39

Mathlib/Analysis/Normed/Order/Lattice.lean

chore: forward-port mathlib#18554 (#3982) …

Deleted solid View on Github →

2023-03-14 03:45

Mathlib/Analysis/Normed/Order/Lattice.lean

feat: port Analysis.Normed.Order.Lattice (#2851)

Added solid View on Github →