No description

Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Orpheus Lummis abc69f6a17 add Torus		2024-07-02 19:43:40 -05:00
Math	add Torus	2024-07-02 19:43:40 -05:00
.gitignore	first commit	2024-07-02 17:19:01 -05:00
lake-manifest.json	first commit	2024-07-02 17:19:01 -05:00
lakefile.lean	first commit	2024-07-02 17:19:01 -05:00
lean-toolchain	first commit	2024-07-02 17:19:01 -05:00
Math.lean	add Torus	2024-07-02 19:43:40 -05:00