Аналіз I, Додаток A.4: Змінні та квантифікатори

Деякі приклади використання змінних та квантифікаторів у Lean