Commit 29430d9

committed

Will Sawin suggestion for a topology

1 parent 5fb02f9 commit 29430d9Copy full SHA for 29430d9

1 file changed

+127

-218

lines changed

FLT/HIMExperiments
- Sawin_topology.lean

1 file changed

+127

-218

lines changed

Comments

(0)