Metamath Proof Explorer


Syntax definition cfrac

Description: Syntax for the field of fractions of a given integral domain.

Ref Expression
Assertion cfrac Could not format assertion : No typesetting found for class Frac with typecode class