Theorem LinearEquiv.piCurry_apply

Modification history