diff options
| author | Edward Wang | 2020-04-14 06:02:28 +0000 |
|---|---|---|
| committer | Edward Wang | 2020-09-07 05:53:55 +0000 |
| commit | d79c6b1de2a5b0efbe4d2e2c75b4a7c587df6767 (patch) | |
| tree | 9c40fc4ebd66e6d50bd09da101ee0eca294f6cfa /config | |
| parent | ad89d85911927f0e95df7a72fe51aec0ab964d94 (diff) | |
Add iff variants for other list lemmas
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions