Pangrác - Věty ke zkoušce
Napsal: 17. 6. 2017 22:21
Vygrepoval jsem ze skript věty, jejichž důkazy Pangrác zkouší, dle seznamu https://docs.google.com/document/d/17jK ... v5ZaM/edit
Tak to sem dávám, třeba to někomu pomůže / usnadní učení.
Tak to sem dávám, třeba to někomu pomůže / usnadní učení.