Skip to content

port(precompact-basis): 预紧坐标球可数基 + 局部有限加细 - #66

Closed
LehengChen wants to merge 1 commit into
port/coordinate-ballfrom
port/precompact-basis
Closed

port(precompact-basis): 预紧坐标球可数基 + 局部有限加细#66
LehengChen wants to merge 1 commit into
port/coordinate-ballfrom
port/precompact-basis

Commits

Commits on Jun 14, 2026