diff options
| author | Simon Marechal | 2018-04-28 09:13:46 +0200 |
|---|---|---|
| committer | Simon Marechal | 2018-09-29 17:52:33 +0200 |
| commit | ac5a79fa92fbc0a1e5307aafaca57d0527401e08 (patch) | |
| tree | 731b048061fdc65b1fa4cff3dd3e1b7bafdb2de8 /plugins | |
| parent | 0bcbc990dcebce2e66f10aba462c9fed2c2eda06 (diff) | |
New lemmas for List.v
* ext_in_map
* map_ext_in_iff
* firstn_skipn_comm
* skipn_firstn_comm
* skipn_O
* skipn_nil
* skipn_cons
* skipn_none
* skipn_all
* skipn_all2
* skipn_app
* seq_ap
* skipn_app
* skipn_length
* firstn_skipn_rev
* firstn_rev
* skipn_rev
* seq_app
All proofs by Anton Trunov.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions