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

Description

Fix box type

Details

Committed
Liu Fengyun <liu@fengy.me>Wed, Nov 4, 17:48
Pushed
liufWed, Nov 4, 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>).Wed, Nov 4, 17:48