I have a bunch of given equations and I want to know how mathematica can solve an equation using those equations to prove that it is equal to something else. However, I also want to see steps...is this possible? if so, how?
In my little world it would be something like:
Simply using givens [...] -show steps
then again i am new to mathematica!! can you tell?