Four-dimensional design and programming of shape-memory magnetic helical micromachines. (June 2022)