Theorem isBounded_add

Modification history

2025-03-18 12:49
Mathlib/Topology/Bornology/BoundedOperation.lean
chore: use `to_additive` for `BoundedAdd` (#23009) …
Deleted isBounded_addView on Github →
2024-05-22 15:10
Mathlib/Topology/Bornology/BoundedOperation.lean
feat: BoundedAdd class for consistency with BoundedSub and BoundedMul. (#13035) …
Added isBounded_addView on Github →