feat(PhyslibAlpha/QuantumMechanics): product states of a product of finite targets - #1717

feat(PhyslibAlpha/QuantumMechanics): product states of a product of finite targets#1717

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:feat-physlibalpha-finite-target-product-statenaype888-cloud/physlib:feat-physlibalpha-finite-target-product-stateCopy head branch name to clipboard