Theorem IsLinearMap.with_bound

Modification history