Laplace Expansion Karol Pak; Andrzej Trybulec — 2007 Formalized Mathematics In the article the formula for Laplace expansion is proved.