Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Localization of rings
crloc
Next ⟩
df-erl
Metamath Proof Explorer
Ascii
Unicode
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