Theorem LinearEquiv.prod_apply

Modification history