Metamath Proof Explorer

Syntax definition crngohom

Description: Extend class notation with the class of ring homomorphisms.

Ref Expression
Assertion crngohom class RingOpsHom