diff options
| author | Cyril Cohen | 2020-06-17 14:47:52 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-17 14:47:52 +0200 |
| commit | 3ceb153b972cbfc23a33daa740ec31050881bfa2 (patch) | |
| tree | 7fc289178cec8a9cdb70f0619ecb91bb683cf5a8 /mathcomp/algebra | |
| parent | e0437e0a7835383bf3880a4c3ae22be978ee560b (diff) | |
| parent | ff0120b48802578db0a46ebd10205e433915844f (diff) | |
Merge pull request #499 from chdoc/contra-prop
contra lemmas involving propositions
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions