Theorem LinearMap.bound_of_sphere_bound

Modification history