P
Initializing...
Theorem 1 — Fisher consistency of SPO+ under Assumption 1 · Prove2Me