Exercise 1.7.18. Formulate and prove the dual pasting lemma for pushout squares. Generated from the authoritative LaTeX source.