P
Initializing...
Row additions in the merged table (Lemma 13 via KFL, relabelled) · Prove2Me