P
Initializing...
Proposition 8.1 (iv), p. 219 — a projection preserves nonblocking, nonrejecting and proper · Prove2Me