Properties of Invariants and Induction Lemmata. - Martin Köhler; Felix Hasselwander; Klaus Schneider 001 (MBMV, 2020)