diff options
| author | George Stelle | 2017-03-09 10:48:10 -0700 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-30 00:12:40 +0200 |
| commit | dfc89e3c2fb5e3801307b5b8b5491a38aa1630bb (patch) | |
| tree | ee6427927e2e56b19a50ca3820e332c19787796f /dev/include | |
| parent | cae09e5af6cf31d96662b1b66a63c6a236a8e741 (diff) | |
Added take to VectorDef.
Added a function that takes the first [p] elements of a vector, and
a few lemmas proving some of its properties.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions