Prostě věci do lingebry Alternativní dělení vět/tvrzení na těžké a lehké:
Tvrzení 15
Lemma 1
Věta 19
Věta 20
věta 4
Věta 8
Věta 13
Lemma 5
Tvrzení 11
Věta 1
Tvrzení 16
Věta 5
Tvrzení 26
Tvrzení 27
Tvrzení 28
Věta 10
Věta 6
Věta 12
Věta 14
Věta 15
LLetal/Leangebra
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|