.. _basics:

기초
====

이 장은 Lean에서 수학적으로 추론하는 데 필요한 기본기, 즉 계산하기, 보조정리와 정리 적용하기, 일반적인 구조에 대해 추론하기를 소개하기 위해 마련되었습니다.

.. include:: C02_Basics/S01_Calculating.inc
.. include:: C02_Basics/S02_Proving_Identities_in_Algebraic_Structures.inc
.. include:: C02_Basics/S03_Using_Theorems_and_Lemmas.inc
.. include:: C02_Basics/S04_More_on_Order_and_Divisibility.inc
.. include:: C02_Basics/S05_Proving_Facts_about_Algebraic_Structures.inc