diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:26:56 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:26:56 -0400 |
| commit | b41ac7998a11354618b122874c03bc68c2833a94 (patch) | |
| tree | 392059ae71999c37174187ec194826262dc59ca8 /_CoqProject | |
| parent | 2d7d0872895639be94f6b274bbe2ef05044bd6db (diff) | |
[F q] is [Algebra.field]
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions