Theorem Seminorm.neg_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.neg_closedBallView on Github →