Formal target: Corpus.WikipediaEulerBrick.cuboidTwo
The second Cuboid conjecture
Exact formal statement
Corpus.WikipediaEulerBrick.CuboidTwoThis target is a formal statement, not a proof of the problem.
Environment availability: available.
The second Cuboid conjecture
Corpus.WikipediaEulerBrick.CuboidTwoThis target is a formal statement, not a proof of the problem.
Environment availability: available.