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

Next ⟩ cfmla

Metamath Proof Explorer

Ascii
Structured

Syntax definition csat

Description: The satisfaction function.

		Ref	Expression
	Assertion	csat	class Sat