Skip to content

Initial PR for Direct limit of finite-dimensional Euclidean spaces#1767

Open
GeoffreySangston wants to merge 12 commits into
mainfrom
direct-limit-Rn-part1
Open

Initial PR for Direct limit of finite-dimensional Euclidean spaces#1767
GeoffreySangston wants to merge 12 commits into
mainfrom
direct-limit-Rn-part1

add notation for box product S107

09becd8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar