Theorem Seminorm.bound_of_shell_smul

Modification history