P
Initializing...
No macro class of monochromatic/unsaturated SAFE steps has all-target absorption (Astra's H_B theorem) · Prove2Me