updated-lemmas
08051d20 · updated lemmas generated with GermaLemma+++ ·