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