Assertion: circuit | /r/HasProperty | function
Facets:
value: to m
type: LOCATION
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} .