Theorem legendreSym.quadratic_reciprocity_one_mod_four

Modification history