Theorem legendreSym.quadratic_reciprocity'

Modification history