On 09/01/2021 11:57, S.Y. Lee wrote:
I have previously questioned that Wolfram have a == b -> a/c == b/c
transformation in conditional expression format
https://reference.wolfram.com/language/ref/DivideSides.html and why
you were not attempting to implement same like this,
But now I'd may agree
I have previously questioned that Wolfram have a == b -> a/c == b/c
transformation in conditional expression format
https://reference.wolfram.com/language/ref/DivideSides.html and why you
were not attempting to implement same like this,
But now I'd may agree on that if we treat such examples as