diff options
| author | Josh Chen | 2019-03-01 20:17:53 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-01 20:17:53 +0100 |
| commit | c33f290df52e646edcf0589d98bd89da8ce288ec (patch) | |
| tree | 61895d03d46b16a2eb2616415e881b658b782099 /.gitignore | |
| parent | 9ba47208278f7deea0dabed40a72fff89ecc5720 (diff) | |
Proving transport is bi-invertible is harder than expected
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions