mathswitch — infrastructure for relaying and exchanging mathematical concepts

full binary tree

binary tree data structure in which each node has exactly zero or two children

Agda Unimath: full binary tree
Wikidata: full binary tree