mathlib3
3f915fc5 - feat(archive): add the cubing a cube proof (#1343)

Commit

6 years ago

feat(archive): add the cubing a cube proof (#1343) * feat(archive): add the cubing a cube proof * rename file * add leanpkg configure to travis

References

Author

fpvandoorn

Committer

mergify[bot]

Parents