Theorem Theorems100.«82».tail_sub

Modification history

2023-06-19 08:58

Archive/Wiedijk100Theorems/CubingACube.lean

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

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