Question about section 2.18 in the documentation

Hi all, section 2.18 (Tutorial to write a transient Stokes solver in matrix form) seems like it could be quite useful to me, but it does not show the original form of the PDE problem. For me to learn properly, it would be extremely useful if I knew the original problem, so before I try to work backwards from the code provided, is there anyone who can tell me the original form of this PDE problem?

Many thanks!