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