diff options
| author | Cyril Cohen | 2017-12-15 11:14:39 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-15 11:14:39 +0100 |
| commit | 419ca147f513601850aaa99f7b227e125f2288da (patch) | |
| tree | 7ac996bc930d92860faac4fa5c31f2e7dcf6a90b /mathcomp/_CoqProject | |
| parent | f4b724043fc6efc968430227c0f953c17966f445 (diff) | |
| parent | ea60a9902aae4b685c8b4732febd0f7f4962c4d4 (diff) | |
Merge pull request #157 from ybertot/add-subset-orbit-theorems
Adds generalizations of theorems relying on injectivity
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions