Theorem Seminorm.ball_finset_sup_eq_iInter

Modification history