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

Description

Fix box type

Details

Committed
Liu Fengyun <liu@fengy.me>Nov 4 2020, 17:48
Pushed
liufNov 4 2020, 17:48
Parents
R9452:f65134aee3cb: Improve text and proof for even_double
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:9f9a0c19f973: Fix box type (authored by Liu Fengyun <liu@fengy.me>).Nov 4 2020, 17:48