Lemma (p. 121) — coordinatewise min/max of two core vectors, paired oppositely, are in the core

Initializing...

Lemma (p. 121) — coordinatewise min/max of two core vectors, paired oppositely, are in the core · Prove2Me