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

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