Commit 2024-08-17 22:56 afd4d849
View on Github →feat: interior, closure and frontier of Euclidean half-spaces (#15890) Preparatory lemmas towards proving that the real interval $[x,y]$ has boundary {x,y} as a smooth manifold.
feat: interior, closure and frontier of Euclidean half-spaces (#15890) Preparatory lemmas towards proving that the real interval $[x,y]$ has boundary {x,y} as a smooth manifold.