Generalize QuantumSet.tensorProduct #7
Description
remove k A = k B as an assumption when creating tensor products of quantum sets
probably need to change the definition of QuantumSet
{{ message }}
remove k A = k B as an assumption when creating tensor products of quantum sets
probably need to change the definition of QuantumSet