P
Initializing...
Property (3), p. 978 — split is monotone in its second argument · Prove2Me