toEquations

fun Substitution.toEquations(): List<Equation>
Content copied to clipboard

Transforms a Substitution into the list of corresponding Equations