Metamath Proof Explorer

Syntax definition ccau

Description: Extend class notation with the class of Cauchy sequences.

Ref Expression
Assertion ccau class Cau