diff options
author | 2016-12-04 13:13:08 -0500 | |
---|---|---|
committer | 2017-05-28 09:38:36 -0400 | |
commit | 7043cedcd0b5d02f3dff51f403b9c0fa1a28892c (patch) | |
tree | cbe7a6dab565218a81f1163744cb88e03d49e172 /INSTALL.ide | |
parent | 7816815c01c6338dbd3447bad6ff2fcca415e139 (diff) |
Add more groupoid-like theorems about [eq]
Diffstat (limited to 'INSTALL.ide')
0 files changed, 0 insertions, 0 deletions