ProjectOverview • 331

Hilbert space coquot=polar deal dual/polar coquot=deal dual
Hilbert space codeal=polar quot dual/polar codeal=quot dual
Hilbert space quot/polar quot=codeal dual
Hilbert space deal/polar deal=coquot dual