Versio 16. maaliskuuta 2020 kello 12.40 muokkaa HunsBot (keskustelu \| muokkaukset) botit 919 443 muokkausta Mallineen vaihto: en-subs1 → en-subs ← Vanhempi muutos		Versio 2. lokakuuta 2020 kello 08.14 muokkaa kumoa Hartz (keskustelu \| muokkaukset) käyttöliittymän ylläpitäjät, ylläpitäjät 117 598 muokkausta Ei muokkausyhteenvetoa Uudempi muutos →
Rivi 4: {{en-subs\|corollar\|ies}} # [[~~päättely~~seuraus]] # {{yhteys\|logiikka\|matematiikka\|k=en}} [[seurauslause]], [[korollaari]]

Versioiden väliset erot sivulla ”corollary”