Theorem Basis.tensorProduct_apply

Modification history