Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Godel-sets of formulas - part 2
cgob

Next ⟩ cgoq

Metamath Proof Explorer

Unicode
Structured

Syntax definition cgob

Description: The Godel-set of equivalence.

		Ref	Expression
	Assertion	cgob	class <->g