Step
*
of Lemma
aa_min_ltree_wf
[t:aa_ltree(
)].
(aa_min_ltree(t)
?)
BY
{
ProveWfLemma
}
\mforall{}[t:aa\_ltree(\mBbbZ{})]. (aa\_min\_ltree(t) \mmember{} \mBbbZ{}?)
By
ProveWfLemma
Home
Index
[t:aa_ltree(
)]. (aa_min_ltree(t) 
?)