aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/character
diff options
context:
space:
mode:
authorCyril Cohen2019-03-20 09:57:38 +0100
committerGitHub2019-03-20 09:57:38 +0100
commit8b66255d1206368fec3b652aa2e3806d01193668 (patch)
tree6ee67b70d944ae08c19a8326a88c9edca51bd4b2 /mathcomp/character
parent4c8455594c5adff08761037a5919c058d0d502ba (diff)
parentd1d511b6b65109ed561ab158d0b231f399d4c01c (diff)
Merge pull request #300 from erikmd/doc-detail
[doc] Mention that "connect" computes the reflexive transitive closure
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions