Theorem neg_one_mem_torsion

Modification history