Theorem Theorems100.«82».mi_minimal

Modification history

2023-06-19 08:58

Archive/Wiedijk100Theorems/CubingACube.lean

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

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