WhoCites Definitions Kleene Sections ClassicalProps(jlc) Doc

Who Cites Three 0?
Three_0Def 3 == inl()
Thm* 3

Syntax:3 has structure: Three_0

About:
itinlmember!abstraction

WhoCites Definitions Kleene Sections ClassicalProps(jlc) Doc