diff options
| author | Florent Hivert | 2019-10-31 16:22:35 +0100 |
|---|---|---|
| committer | Florent Hivert | 2019-11-03 09:26:12 +0100 |
| commit | 8150209d2aaa0034b3dca9d82be1aeb11a12b5ea (patch) | |
| tree | b6150424dfb756e2cfec68d12e397f65cf7bec22 /mathcomp/_CoqProject | |
| parent | 9ec6b02e673d0808b3ba4a6c4f849405bf222ae1 (diff) | |
Interface for commutative and commutative-unitary algebras
Initial properties of polynomials in R-algebras
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions