From: Ralf Jung 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/a2ddc0ca35c1258e1a0563978a0fb1009c6ee63e?ds=inline;hp=a2ddc0ca35c1258e1a0563978a0fb1009c6ee63e link to 'two kinds of invariants' ---