Def bcubes

Modification history

2019-08-21 11:04
archive/cubing_a_cube.lean
feat(archive): add the cubing a cube proof (#1343) …
Added bcubesView on Github →