From: Ralf Jung <post@ralfj.de>
Date: Wed, 15 Jul 2020 11:43:14 +0000 (+0200)
Subject: link to 'two kinds of invariants'
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/dcb9162df11ef1393b302a62adef3b01934dfb2c?ds=sidebyside;hp=dcb9162df11ef1393b302a62adef3b01934dfb2c

link to 'two kinds of invariants'
---