rename substitute → substituted
This has a lower chance to give an impression that the substitution happens in-place.
Closes issue #237 (closed)
Edited by Anton Akhmerov
This has a lower chance to give an impression that the substitution happens in-place.
Closes issue #237 (closed)