Forward Propagation, Backward Propagation.
don’t want to go through the detailed derivation for this, but it turns out that if you take this definition for da and plug it in here, then you get the same formula as we had in there previously, for how you compute dz^l as a function of the previous dz^l. In fact, well, if I just plug that in