Homec4science

Improve text and proof for even_double

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

Description

Improve text and proof for even_double

Details

Committed
Liu Fengyun <liu@fengy.me>Nov 4 2020, 17:30
Pushed
liufNov 4 2020, 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>).Nov 4 2020, 17:30