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

Next ⟩ cgzp

Metamath Proof Explorer

Unicode
Structured

Syntax definition cgzr

Description: The Axiom Scheme of Replacement.

		Ref	Expression
	Assertion	cgzr	class AxRep