Metamath Proof Explorer


Syntax definition crn

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

Ref Expression
Assertion crn class ran 𝐴