Theorem Seminorm.le_finset_sup_apply

Modification history