P
Initializing...
Theorem 1 (part) — EQ-HS $\Leftrightarrow$ EQ-MEAS · Prove2Me