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

Next ⟩ cprv

Metamath Proof Explorer

Ascii
Structured

Syntax definition csate

Description: The e. -satisfaction function.

		Ref	Expression
	Assertion	csate	class Sat_∈