Block designs and latin squares fixed errors

[erehulka]

• V blokových plánoch bolo vymenené poradie $AA^T$ a $A^TA$. V starej verzii bolo "dokázané" $AA^T=AA^T$, pričom v prvom kroku bolo $AA^T=A^{-1} A A^T A$, čo nie je pravda.
• V latinských štvorcoch som spravil pár úprav pre lepšiu čitateľnosť, tie veci opisujem v komentároch pre dané zmeny.
• Pri Hallovej vete o párení úplné párenie $\Rightarrow$ párenie pokrývajúce množinu A
• Hallova veta pre množiny $\geq$ namiesto >
• Jedna zmena ktorou si nie som úplne istý, dôkaz vety 1.8. v lat. štvorcoch. Tam si nemyslím že vyplýva $a_i \neq a_j$ ale skôr $a_i \neq a_k$, keďže súčin $\neq 0$.

[erehulka]

Toto som zmenil poradie, lebo píšeme že najprv dokážeme $|A| \geq |B|$ ale v skutočnosti ako prvé dokazujeme $|A| \leq |B|$

[japdlsd]

@dodo42 pozrel by si sa na to, prosim? :)