P
Initializing...
Lemma 1 — minimality: no proper even subset of a minimum-weight logical · Prove2Me