Metamath Proof Explorer

Syntax definition crisc

Description: Extend class notation with the ring isomorphism relation.

Ref Expression
Assertion crisc class ≃ 𝑟