最終更新日:2022/12/07
正解を見る
(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.
編集履歴(0)
元となった辞書の項目
diagram chase
noun