Homec4science

Improve text and proof for even_double

Authored by Liu Fengyun <liu@fengy.me> on Wed, Nov 4, 17:30.

Description

Improve text and proof for even_double

Details

Committed
Liu Fengyun <liu@fengy.me>Wed, Nov 4, 17:30
Pushed
liufWed, Nov 4, 17:30
Parents
R9452:b9bc924cb89b: Fix typo
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:f65134aee3cb: Improve text and proof for even_double (authored by Liu Fengyun <liu@fengy.me>).Wed, Nov 4, 17:30