Theorem Theorems100.«82».Ico_lemma

Modification history

2023-06-19 08:58

Archive/Wiedijk100Theorems/CubingACube.lean

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

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