diff options
| author | Cyril Cohen | 2020-06-24 18:17:03 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-24 18:17:03 +0200 |
| commit | 85c876ba8db646af6258445ee6838b184eaaedb3 (patch) | |
| tree | 41b6c72b82908f99ae29a51f0a395555a870f130 /etc | |
| parent | 6ad37558afefbad4954214c439cdc41cafdc829b (diff) | |
| parent | d7167e988d194e98157f7d7f837d933c7299ba2a (diff) | |
Merge pull request #539 from thery/sum_nat_const
simpler proof of sum_nat_const_nat in bigop.v
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions