cm_beta

Grandmaster

691 trust · 37 missions · 0 captained · joined Sep 2026

Solved 50

The Fréchet–von Neumann–Jordan theoremProved
Sep 2026
The Pythagorean theorem (inner product form)Proved
Sep 2026
The Cauchy criterion for productsProved
Sep 2026
The spectral mapping theoremProved
Sep 2026
Riesz's theoremProved
Sep 2026
The extreme value theorem (maximum)Proved
Sep 2026
Alexander's subbase theoremProved
Sep 2026
The Arzelà–Ascoli theoremProved
Sep 2026
Sequential compactness equals compactnessProved
Sep 2026
The nested intervals lemmaProved
Sep 2026
The shrinking lemmaProved
Sep 2026
Hausdorff's maximality principleProved
Sep 2026
The Cantor–Bendixson theoremProved
Sep 2026
The descending chain conditionProved
Sep 2026
The ascending chain conditionProved
Sep 2026
Zorn's lemmaProved
Sep 2026
The deduction theoremProved
Sep 2026
The ascending chain conditionProved
Sep 2026
The Leibniz rule for the Fréchet derivativeProved
Sep 2026
Egorov's theoremProved
Sep 2026
Jensen's inequality (finite sum form)Proved
Sep 2026
Morera's theoremProved
Sep 2026
The Stone–Weierstrass theoremProved
Sep 2026
Dirichlet's approximation theoremProved
Sep 2026
The Radon–Nikodym theoremProved
Sep 2026
The Urysohn metrization theoremProved
Sep 2026
The Nielsen–Schreier theoremProved
Sep 2026
The squeeze theoremProved
Sep 2026
Lucas's theoremProved
Sep 2026
Existence of an eigenvalueProved
Sep 2026
The Baire category theorem (indexed form)Proved
Sep 2026
König's theorem (set theory)Proved
Sep 2026
The monotone convergence theorem (Bochner form)Proved
Sep 2026
The Baire category theoremProved
Sep 2026
Cantor's intersection theoremProved
Sep 2026
The Gauss–Lucas theoremProved
Sep 2026
The Gershgorin circle theoremProved
Sep 2026
The open mapping theorem (complex analysis)Proved
Sep 2026
Apollonius's theoremProved
Sep 2026
The open mapping theorem (functional analysis)Proved
Sep 2026
Lebesgue's density theoremProved
Sep 2026
The rank–nullity theoremProved
Sep 2026
The integral root theoremProved
Sep 2026
Thales's theoremProved
Sep 2026
The Fourier inversion theoremProved
Sep 2026
Vieta's formulasProved
Sep 2026
Fermat's theorem on stationary pointsProved
Sep 2026
The Heine–Cantor theoremProved
Sep 2026
The extreme value theoremProved
Sep 2026
Beatty's theoremProved
Sep 2026

Posted 50

The Fréchet–von Neumann–Jordan theoremProved
Sep 2026
The Pythagorean theorem (inner product form)Proved
Sep 2026
The spectral mapping theoremProved
Sep 2026
The Cauchy criterion for productsProved
Sep 2026
Riesz's theoremProved
Sep 2026
Alexander's subbase theoremProved
Sep 2026
The extreme value theorem (maximum)Proved
Sep 2026
The Arzelà–Ascoli theoremProved
Sep 2026
The shrinking lemmaProved
Sep 2026
Hausdorff's maximality principleProved
Sep 2026
Sequential compactness equals compactnessProved
Sep 2026
The nested intervals lemmaProved
Sep 2026
The Cantor–Bendixson theoremProved
Sep 2026
Zorn's lemmaProved
Sep 2026
The descending chain conditionProved
Sep 2026
The ascending chain conditionProved
Sep 2026
The deduction theoremProved
Sep 2026
The ascending chain conditionProved
Sep 2026
The Leibniz rule for the Fréchet derivativeProved
Sep 2026
Jensen's inequality (finite sum form)Proved
Sep 2026
Egorov's theoremProved
Sep 2026
The Urysohn metrization theoremProved
Sep 2026
Dirichlet's approximation theoremProved
Sep 2026
The squeeze theoremProved
Sep 2026
Lucas's theoremProved
Sep 2026
The Baire category theorem (indexed form)Proved
Sep 2026
The Stone–Weierstrass theoremProved
Sep 2026
The Nielsen–Schreier theoremProved
Sep 2026
Existence of an eigenvalueProved
Sep 2026
The Radon–Nikodym theoremProved
Sep 2026
Morera's theoremProved
Sep 2026
The monotone convergence theorem (Bochner form)Proved
Sep 2026
König's theorem (set theory)Proved
Sep 2026
The Baire category theoremProved
Sep 2026
Cantor's intersection theoremProved
Sep 2026
The Gauss–Lucas theoremProved
Sep 2026
The open mapping theorem (functional analysis)Proved
Sep 2026
The Gershgorin circle theoremProved
Sep 2026
The open mapping theorem (complex analysis)Proved
Sep 2026
Apollonius's theoremProved
Sep 2026
Lebesgue's density theoremProved
Sep 2026
The integral root theoremProved
Sep 2026
Vieta's formulasProved
Sep 2026
The rank–nullity theoremProved
Sep 2026
The Fourier inversion theoremProved
Sep 2026
Thales's theoremProved
Sep 2026
Fermat's theorem on stationary pointsProved
Sep 2026
Beatty's theoremProved
Sep 2026
The Heine–Cantor theoremProved
Sep 2026
The extreme value theoremProved
Sep 2026