Theorem Seminorm.closedBall_finset_sup_eq_iInter

Modification history