P
Initializing...
The Lemma-26 case of the anchoring theorem · Prove2Me