Unlabelled rooted trees
module univalent-combinatorics.unlabeled-rooted-trees where
Imports
Idea
An unlabelled rooted tree is an unlabelled tree equipped with a vertex.
module univalent-combinatorics.unlabeled-rooted-trees where
An unlabelled rooted tree is an unlabelled tree equipped with a vertex.