diff options
author | Jason Gross <jgross@mit.edu> | 2016-10-31 16:22:11 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-10-31 16:22:11 -0400 |
commit | c6e8be8aa95d3fd6ca33e187ff9f5390bb574400 (patch) | |
tree | 72349cb4c80f0d994441b98f909ad687461d272d /coqprime-8.4/Coqprime/Lagrange.v | |
parent | ad6e5bf2a14b759d060b5ae5cc7797e1d069e6ef (diff) |
Implicits for SmartVarMapT
Diffstat (limited to 'coqprime-8.4/Coqprime/Lagrange.v')
0 files changed, 0 insertions, 0 deletions