Axiomatic Method for Proposition: Multiplicativity of the Legendre Symbol [8202]

Underlying Axioms

Logical Predecessors

Logical Successors

OK