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

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