Published 2021-08-14T11:12:00.006Z by Physics Derivation Graph
What are my acceptance criteria for a new inference rule? How do I know when something is atomic versus when it can be broken into existing inference rules?
Does inversion matter? The following are redundant:
"add X to both sides of expression" is interchangeable with "subtract Z from both sides of expression"
and
"multiple both sides of expression by X" is interchangeable with "divide both sides of expression by Z"