list 3 jlc Sections Support(jlc) Doc

TheoremName
Thm* eq:{T}, t:T, L:T List. t(eq) (t.L)[is_member_cons]
cites
Thm* P:. P P = true[assert_iff_btrue]
Thm* P:. P P = false[not_assert_iff_bfalse]

list 3 jlc Sections Support(jlc) Doc