list 3 jlc Sections Support(jlc) Doc

TheoremName
Thm* eq:{T=}, u:T, L:T List. u(eq) L (f:{T}. u(f) L)[is_member_equalities_lemma]
cites
Thm* P:. P P = true[assert_iff_btrue]

list 3 jlc Sections Support(jlc) Doc