P
Initializing...
Property (1), p. 978 — stability is inherited under refinement · Prove2Me