Theorem jacobiSym.quadratic_reciprocity

Modification history