feat(Finite): add experimental Euclidean-space KetEuc and optKet#19

Ruizsolveall wants to merge 1 commit intoTimeroot:mainTimeroot/Lean-QuantumInfo:mainfrom

Ruizsolveall:feat/ket-euclid-step1Ruizsolveall/Lean-QuantumInfo:feat/ket-euclid-step1Copy head branch name to clipboard