Assertion: circuit | /r/HasProperty | \displaystyle nleaves
Facets:
Source sentences:
text: If there are n {\displaystyle n} leaves, then the circuit can be seen as a function from M n {\displaystyle M^{n}} to M {\displaystyle M} .