diff options
| author | Assia Mahboubi | 2015-11-20 18:36:12 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-11-20 18:36:12 +0100 |
| commit | 986f8d6da0211a53688c36f353cd2ca034a7b29b (patch) | |
| tree | 29e68f25922c5d00da6aecbd1686d63dfcb27333 /mathcomp/algebra | |
| parent | fb82de6da0de4d36157a72d27f0f7a9defd2f2ae (diff) | |
Tested the Qed of the alternate Xirredp_FAdjoin in Coq 8.4.
It's no more crashing but it's still way to long...
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions