Аналіз I, Додаток A.6: Деякі приклади доказів та квантифікаторів

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