mathlib
241400f8 - feat(analysis/seminorm): lemmas on balanced sets (#7358)

Commit

4 years ago

feat(analysis/seminorm): lemmas on balanced sets (#7358) Adds lemmas about operations on balanced sets and golfs a proof.

Author

b-mehta

Parents