Theorem Theorems100.«82».not_correct

Modification history

2023-06-19 08:58

Archive/Wiedijk100Theorems/CubingACube.lean

feat: port Archive.Wiedijk100Theorems.CubingACube (#5201)

Added Theorems100.«82».not_correct View on Github →