WhoCites Definitions Kleene Sections ClassicalProps(jlc) Doc

Who Cites Three 1?
Three_1Def 3 == inr(inl())
Thm* 3

Syntax:3 has structure: Three_1

About:
itinlinrmember!abstraction

WhoCites Definitions Kleene Sections ClassicalProps(jlc) Doc