Lean 4 ‘te: Temeller #15

Herkese merhaba, önceki yazımda giriş yaptığım “Mathematics in Lean” kitabına bu yazımda yine bir örnekle devam edeceğim.