No.13250101 ViewReplyOriginalReport
How come I can do the same thing to both sides of an equation, but this is never listed as an axiom?
Is there a property for this that's always taken implicitly?