4 ms·
True, I ignored division. I believe this is used in symbolic solvers to prove identities; that's the context where I learned it.
by kwillets 9y ago
True, I ignored division.
I believe this is used in symbolic solvers to prove identities; that's the context where I learned it.