Аналіз I, Додаток A.4

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