Univalent Mathematics: Symmetry Book(github.com)3 points by symmetrist 2 years ago | 0 commentsNo comments yet