diff options
| author | Cyril Cohen | 2017-12-15 11:18:09 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-15 11:18:09 +0100 |
| commit | cb8ef16e79211884907f1a2dc6c516851d279cc0 (patch) | |
| tree | b69cc255a6523ee0f79b74481878fe05a446824e /mathcomp/_CoqProject | |
| parent | 419ca147f513601850aaa99f7b227e125f2288da (diff) | |
| parent | c13976f1405b12009c12165aa0b5585285586dac (diff) | |
Merge pull request #170 from CohenCyril/mulr_eq1E
Using x * y = 1 and x / y = 1 to derive invertibility and the inverse
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions