⚠️ V přehledu používám jiný symbol pro definici (\equiv) než je ve skriptech (\ceq), protože jsem byl línej si zjistit z jakýho je to package. Stejný symbol používáme v DML pro kongruenci⚠️
Toto je přehled MA2 definic, vět a tabulek známých limit a derivací, který jsem si připravil ke zkoušce.