Leangebra

Prostě věci do lingebry Alternativní dělení vět/tvrzení na těžké a lehké:

Těžké

Tvrzení 15

Lemma 1

Věta 19

Věta 20

věta 4

Věta 8

Věta 13

Lemma 5

Lehké

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