Theorem Seminorm.exists_apply_eq_finset_sup

Modification history