Theorem LinearMap.curry_uncurryLeft

Modification history