Metamath Proof Explorer


Syntax definition cqmap

Description: Extend the definition of a class to include the quotient map of a class.

Ref Expression
Assertion cqmap Could not format assertion : No typesetting found for class QMap R with typecode class