(2steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: fvar wf 1
1. x: Var

inl(x) Formula
By: RecMemberFormulaCD
Generated subgoals:

None

About:
inlmember

(2steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc