Theorem Seminorm.smul_closedBall_preimage

Modification history

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