Substitution in formulas.
The question is how to deal with free variables correctly. Or simply rectify formulas?
Loading
Please register or sign in to comment
The question is how to deal with free variables correctly. Or simply rectify formulas?