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)
commit099eb1955585043ba64c4c7cc58e2b63f8e55ece
treeb193258b9eaaa3930b47b0cfef80b08338f51336
parent206e6407bc6d23de73a398fd4fb5047fdc8dca10
fix typo (thanks to Lonami)
personal/_posts/2018-08-22-two-kinds-of-invariants.md