P
Initializing...
$D^+$ of a product with $\sqrt{\Delta}$ · Prove2Me