Theorem LinearMap.mkContinuous₂_apply

Modification history