Theorem Seminorm.sub_mem_closedBall

Modification history

2025-02-26 21:00
Mathlib/Analysis/Seminorm.lean
feature(Analysis/Seminorm): Add closedBall equivalents of open ball results (#22264) …
Added Seminorm.sub_mem_closedBallView on Github →