Theorem ContinuousLinearMap.sSup_unitClosedBall_eq_nnnorm

Modification history