diff options
| author | Kazuhiko Sakaguchi | 2019-11-22 19:07:50 +0900 |
|---|---|---|
| committer | Assia Mahboubi | 2019-11-22 11:07:50 +0100 |
| commit | 36cc4f9ec7b90a762e0353624d92e99afcef2ebb (patch) | |
| tree | b6ebec33b0ecfd08b571142329545fb9b00550e7 /etc | |
| parent | 6acef5bb290837871337983037833dad29606d79 (diff) | |
Injectivity lemmas in fintype (#426)
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions