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

Next ⟩ csate

Metamath Proof Explorer

Ascii
Structured

Syntax definition cfmla

Description: The formula set predicate.

		Ref	Expression
	Assertion	cfmla	class Fmla