Theorem TensorProduct.dualDistrib_dualDistribInvOfBasis_left_inverse

Modification history