[math-fun] Generalized spanning trees in hypergraphs