This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Unlabeled rooted trees

module univalent-combinatorics.unlabeled-rooted-trees where

Imports

Idea

An unlabeled rooted tree is an unlabeled tree equipped with a vertex.

This remains to be defined. #749