Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-01-27 14:52 898cd708

View on Github →

fix(archive/cubing_a_cube): roof broken by #1903 (#1912)

Estimated changes

modified theorem nonempty_bcubes