Def Theorems100.«82».decreasingSequence

Modification history

2023-06-19 08:58

Archive/Wiedijk100Theorems/CubingACube.lean

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

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