Commit 2025-01-25 16:00 b89b7208
View on Github →feat: the real manifold [x,y] has boundary {x,y} (#15892) Also rename one lemma added in #15891, which I forgot to rename there.
feat: the real manifold [x,y] has boundary {x,y} (#15892) Also rename one lemma added in #15891, which I forgot to rename there.