agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Define unlabeled rooted trees

Open fredrik-bakke opened this issue 2 years ago • 0 comments

The following remains to be defined in univalent-combinatorics.unlabeled-rooted-trees:

  • [ ] Unlabeled rooted trees

fredrik-bakke avatar Sep 10 '23 18:09 fredrik-bakke