mathlib

5dc275ec - feat(analysis/normed/order/lattice): add has_solid_norm (#18554)

feat(analysis/normed/order/lattice): add has_solid_norm (#18554) See [this Zulip thread](https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Solid) Co-authored-by: Yaël Dillies