apply
fun apply(substitution: Substitution, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation
Applies given substitution to the Equation left-hand and right-hand sides, returning the new Equation
To modify default equality between Terms, a custom equalityChecker can be provided