Metamath Proof Explorer


Syntax definition clgs

Description: Extend class notation with the Legendre symbol function.

Ref Expression
Assertion clgs class / L