OSDN Git Service

:twisted_rightwards_arrows: Merge pull request #1679 from Dev-XYS/master
authorouuan <y___o___u@126.com>
Fri, 6 Sep 2019 16:06:42 +0000 (00:06 +0800)
committerGitHub <noreply@github.com>
Fri, 6 Sep 2019 16:06:42 +0000 (00:06 +0800)
commit8104364ab1f2be2d9fb616ecf2294faaa8229717
treea705656f7cdff68baf70d46d831f7c11cf57f1f3
parentbe00ae3aaad0db84465d3e33a9137ed5cceb7408
parent2b5140e9ff771f0381e885d045ed6cf04b8cb462
:twisted_rightwards_arrows: Merge pull request #1679 from Dev-XYS/master

改正后缀自动机部分引理1的叙述错误