Skip to content

port(charted-space-core): 由图册核造流形（ChartedSpaceCore）#67

Open
LehengChen wants to merge 2 commits into
developfrom
port/charted-space-core
Open

port(charted-space-core): 由图册核造流形（ChartedSpaceCore）#67
LehengChen wants to merge 2 commits into
developfrom
port/charted-space-core

docs: state ChartedSpaceCore lemmas natively (drop textbook numbering)

e3c1f75
Select commit
Loading
Failed to load commit list.

There are no checks for this commit