Metamath Proof Explorer


Syntax definition cmufs

Description: The set of unambiguous formal sytems.

Ref Expression
Assertion cmufs
class mUFS