WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites tree leaf?
tree_leafDef tree_leaf(x) == inl(x)
Thm* E,T:Type, x:E. tree_leaf(x) tree_con(E;T)
Thm* E:Type, x:E. tree_leaf(x) Tree(E)

About:
inluniversememberall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc