P
Initializing...
Fixed-point product error (Lemma 2.4 / Corollary 2.10) · Prove2Me