Theorem SemilinearMapClass.bound_of_shell_semi_normed

Modification history