Skip to content

Every point in a proper closed interval in the real numbers is an accumulation point#1679

Merged
fredrik-bakke merged 161 commits intoUniMath:masterfrom
lowasser:cluster-point-metric
Nov 15, 2025
Merged

Every point in a proper closed interval in the real numbers is an accumulation point#1679
fredrik-bakke merged 161 commits intoUniMath:masterfrom
lowasser:cluster-point-metric

Commits

Commits on Oct 10, 2025

Commits on Oct 11, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025

Commits on Oct 17, 2025

Commits on Nov 5, 2025

Commits on Nov 6, 2025

Commits on Nov 7, 2025

Commits on Nov 8, 2025

Commits on Nov 10, 2025

Commits on Nov 11, 2025

Commits on Nov 12, 2025

Commits on Nov 13, 2025

Commits on Nov 15, 2025