P
Initializing...
Lemma 4.9 (`Sapprox_bound`) · Prove2Me