Theorem LinearMap.uncurryLeft_apply

Modification history