P
Initializing...
Type-$0$ structures are B-shifts of symplectic ones · Prove2Me