Metamath Proof Explorer


Syntax definition crloc

Description: Syntax for ring localization operation.

Ref Expression
Assertion crloc Could not format assertion : No typesetting found for class RLocal with typecode class