Improve text and proof for even_double
Description
Description
Details
Details
- Committed
Liu Fengyun <liu@fengy.me> Nov 4 2020, 17:30 - Pushed
liuf Nov 4 2020, 17:30 - Parents
- R9452:b9bc924cb89b: Fix typo
- Branches
- Unknown
- Tags
Improve text and proof for even_double
Improve text and proof for even_double
Authored by Liu Fengyun <liu@fengy.me> on Nov 4 2020, 17:30.
Tags
None
Subscribers
None