P
Initializing...
de la Peña–Montgomery-Smith eq. (7): triple-product Fubini substrate · Prove2Me