MathInformationRegister: Functions to replace variables by their definition

1 job for richter-dev in 2 minutes and 43 seconds (queued for 1 second)