Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of ZF
cgze

Next ⟩ cgzr

Metamath Proof Explorer

Ascii
Structured

Syntax definition cgze

Description: The Axiom of Extensionality.

		Ref	Expression
	Assertion	cgze	class AxExt