remove `k A = k B` as an assumption when creating tensor products of quantum sets probably need to change the definition of `QuantumSet`
remove
k A = k Bas an assumption when creating tensor products of quantum setsprobably need to change the definition of
QuantumSet