Closed lnay closed 5 months ago
Find a way to add a non-mathlib theorem for the game-players to directly use: x - z - (y - z) = x - y in order to avoid making the exercise about manipulating expressions of real numbers.
x - z - (y - z) = x - y
Should be sorted by 75bd068
lnay
commented
5 months ago
Find a way to add a non-mathlib theorem for the game-players to directly use:
x - z - (y - z) = x - yin order to avoid making the exercise about manipulating expressions of real numbers.