WhoCites Definitions formula Sections ClassicalProps(jlc) Doc

Who Cites fvar?
fvarDef F == inl(F)
Thm* x:Var. x Formula

Syntax:F has structure: fvar(F)

About:
inlmemberall!abstraction

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc