Posts for August 2024
- If x is the supremum of set A, then ((∀ y)[y < x → (∃ a ∈ A)[y < a]]
- Equivalence of definitions of the Fibonacci function
- Proofs of "flatten (mirror a) = reverse (flatten a)"
- Proofs that the mirror function of binary trees is involutive
- Equivalence of reverse definitions
- Proofs of take n xs ++ drop n xs = xs
- Proofs of the equality length(xs ++ ys) = length(xs) + length(ys)