P
Initializing...
Corollary 16: equality of S_oneHalf forbids nontrivial preparation · Prove2Me