Commit 2025-11-17 21:06 f302095d
View on Github →feat: approximate continuous functions by smooth functions (#31278) This is motivated by #31079, and adapted from this lemma in the Sphere Eversion project.
feat: approximate continuous functions by smooth functions (#31278) This is motivated by #31079, and adapted from this lemma in the Sphere Eversion project.