Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

theorem

A claim, provable from definitions and earlier results, true for every object satisfying some condition.

A theorem asserts something is true for every object satisfying a stated condition, established by a proof.

Read the full section →
Graph settings

Calculator