Univalent Mathematics: Symmetry Book #1 Post by symmetrist » Mon, Sep 04, 2023, 6:45 AM UTC Univalent Mathematics: Symmetry Bookgithub.com