Analysis I, Appendix A.4: Змінні та квантифікатори

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