Theorem Basis.tensorProduct_repr_tmul_apply

Modification history