She did a good job at explaining how to use the formulas, but she didn't explain the theory behind them very well. Expect a lot of simple computation and some short proofs, which aren't difficult compared to proofs from other classes, like CS 2800.