Metamath Proof Explorer


Syntax definition cpi

Description: Extend class notation to include the constant pi, _pi = 3.14159....

Ref Expression
Assertion cpi
class _pi