um - maybe ◇ 1 sketch

• 21 December 2025
• Mathematics,
• Process book,
• Learning,
• Sketchbook

ℝ ≔ { a:ℕ→ℚ ∣ Cauchy(a) }

a ∧ (a→b) ⊢ b (MP)

• Previous: Visual Algebra - From Dot to Cosmos
• Next: v0.1 logika 📘🌱