Theorem LatticeOrderedAddCommGroup.isSolid_ball

Modification history

2023-05-16 18:39
Mathlib/Analysis/Normed/Order/Lattice.lean
chore: forward-port mathlib#18554 (#3982) …
Added LatticeOrderedAddCommGroup.isSolid_ballView on Github →