Theorem LinearMap.bound_of_ball_bound'

Modification history