Theorem Seminorm.rescale_to_shell

Modification history