Theorem TensorProduct.dualDistrib_dualDistribInvOfBasis_right_inverse

Modification history