WhoCites Definitions mb collection Sections GenAutomata Doc

Who Cites col member?
col_member Def x c == c(x)
Thm* T:Type, x:T, c:Collection(T). x c Prop
col_none Def < > (x) == False
Thm* T:Type. < > Collection(T)
iff Def P Q == (P Q) & (P Q)
Thm* A,B:Prop. (A B) Prop
rev_implies Def P Q == Q P
Thm* A,B:Prop. (A B) Prop

About:
applyuniversememberpropimpliesandfalseall!abstraction

WhoCites Definitions mb collection Sections GenAutomata Doc