Besonderhede van voorbeeld: 8730477994798329080

Metadata

Author: Literature

Data

German^[de]

Man setze rekursiv a.T / WD .a1 ; : : : ; an2 /, wobei .a2 ; : : : ; an2 / D a.T v/.

English^[en]

We recursively define a.T / WD .a1 ; : : : ; an2 /, where .a2 ; : : : ; an2 / D a.T v/.

History

Your action: