P

Initializing...

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