Lean 数学形式化仓库更新，新增 6 项、修改 19 处、撤回 3 处

RT @danintheory：我们更新了 GitHub 数学仓库，新增 6 个 Lean 形式化，修改 19 处，撤回 3 处。该仓库目前约 42% 的主要结果已完成形式化。我们将继续用新的形式化和我们注意到的勘误来更新仓库。

https://t.co/HI6otY2NTO