Theorem jacobiSym.eq_one_or_neg_one

Modification history