fix typo (thanks to Lonami)
authorRalf Jung <post@ralfj.de>
Thu, 23 Jul 2020 08:43:30 +0000 (10:43 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 23 Jul 2020 08:43:30 +0000 (10:43 +0200)
commit4ab563b44744ec7083cd724a7131a11ad76efd24
treed6e835a5fc0804610d4d3617534162f11c777582
parenta5e4f7c5b36b0dd9ab0a52b219ec347de54844a2
fix typo (thanks to Lonami)
personal/_posts/2018-08-22-two-kinds-of-invariants.md