diff options
author | Josh Chen | 2020-08-02 16:44:47 +0200 |
---|---|---|
committer | Josh Chen | 2020-08-02 16:44:47 +0200 |
commit | 70fd3f72ef8f9cc01a071250d94e8c25ecb04c1d (patch) | |
tree | 31d6ff3eeda51264d29ec00af8b8f6ef3d69a8f7 /spartan/core | |
parent | 77aa10763429d2ded040071fbf7bee331dd52f5e (diff) |
rename some theorems
Diffstat (limited to 'spartan/core')
0 files changed, 0 insertions, 0 deletions