P
Initializing...
Display (8), p. 16 — D^µ(≿_ab, ≿⁺_ab) = µ{b} · Prove2Me