mathswitch — infrastructure for relaying and exchanging mathematical concepts

Ordered tree

(no description is available)

MathWorld: OrderedTree
Wikipedia (English): Ordered tree
Wikidata: ordered tree
Agda Unimath: plane tree