mathlib
b65e5132 - experimented with putting the vertex type inside the structure

Commit

5 years ago

experimented with putting the vertex type inside the structure

Author

kmill

kmill

Committer

kmill

kmill

Parents

Loading