P
Initializing...
An invariant compact state space contains a multiplicative state · Prove2Me