diff options
| author | Cyril Cohen | 2016-09-07 19:27:57 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2016-10-24 13:11:31 +0200 |
| commit | 3c8d3225c0e230dcc5e7b40440200888082d9b17 (patch) | |
| tree | d8d97676c36ab708b063ad0aec9f9ff63f45dbe5 /mathcomp/attic/tutorial.v | |
| parent | d762ebb5a8c5191d49a75aa89ec34966de00eb9b (diff) | |
wip shorter proof dec factor theorems
Diffstat (limited to 'mathcomp/attic/tutorial.v')
0 files changed, 0 insertions, 0 deletions