Mercurial > hg > Members > Moririn
view fig/tree-invariant.graffle @ 605:f8cc98fcc34b
define invariant
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 03 Nov 2021 15:58:10 +0900 |
parents | 41e1c9e9718d |
children | 0b791ae19543 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 03 Nov 2021 15:58:10 +0900 |
parents | 41e1c9e9718d |
children | 0b791ae19543 |