|
|
|
|
|
|
by ABeeSea
1402 days ago
|
|
|
They do! It’s called abstract algebra and it’s very similar to type theory in a lot of ways. But to get to the rigorous mathematician definition of manipulating dx and dy, it requires a large amount of the machinery from abstract algebra that’s hard to quickly absorb or explain. |
|
|