diff options
| author | Erik Martin-Dorel | 2019-03-20 00:13:33 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-03-20 00:29:23 +0100 |
| commit | d1d511b6b65109ed561ab158d0b231f399d4c01c (patch) | |
| tree | 6ee67b70d944ae08c19a8326a88c9edca51bd4b2 /plugin | |
| parent | 4c8455594c5adff08761037a5919c058d0d502ba (diff) | |
[doc] Mention that fingraph's connect computes the reflexive transitive closure
while some refs (see e.g. [1]) don't assume that the "transitive closure" is
reflexive; so one won't need to look at lemma "connect0" to figure this out.
[1] https://en.wikipedia.org/wiki/Transitive_closure
[ci skip]
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions