P
Initializing...
Schur lemma (report L9) (round six, `schur_row`) · Prove2Me