Metamath Proof Explorer


Syntax definition cec

Description: Extend the definition of a class to include equivalence class.

Ref Expression
Assertion cec
class [ A ] R