Closed Luv2C0d3 closed 2 years ago
Where it says "we have yet finished defining substitution" it should say either "we have yet to finish defining substitution" or "we have not yet finished defining substitution"
Where it says "we have yet finished defining substitution" it should say either "we have yet to finish defining substitution" or "we have not yet finished defining substitution"