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

Next ⟩ cgzp

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cgzr

Description: The Axiom Scheme of Replacement.

		Ref	Expression
	Assertion	cgzr	$class AxRep$