P
Initializing...
§9.1 — projection onto Boolean vectors by coordinatewise rounding · Prove2Me