diagram chase
English
Noun
diagram chase (plural diagram chases)
- (mathematics, somewhat informal) A proof in stages, each of which, in general, depends on the previous stages and can be visualized by means of a diagram of morphisms.
- To prove the five lemma, just use a diagram chase.