Who Cites Three 2?
Three_2	Def 3 == inr(inr())
	Thm* 3

Syntax:

3

has structure:

Three_2

About: