Geeks
ericluap
/
AutLinOrd
Automorphisms of Linear Orders
Primary Language
Lean
AutLinOrd Home Page
AutLinOrd GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Automorphisms of Linear Orders
Here is more information
on the project.