let G be _Graph; :: thesis: for H being Tree-like Subgraph of G holds H | _GraphSelectors in G .allTrees()
let H be Tree-like Subgraph of G; :: thesis: H | _GraphSelectors in G .allTrees()
H | _GraphSelectors is Tree-like Subgraph of G by GLIB_000:92, GLIB_002:48, GLIB_000:128;
hence H | _GraphSelectors in G .allTrees() by Th138; :: thesis: verum