Who Cites stable?
stable	Def Stable{P} == P P
	Thm* A:Prop. Stable{A} Prop
not	Def A == A False
	Thm* A:Prop. (A) Prop

Syntax:

Stable{P}

has structure:

stable(P)

About: