Inductive Konigsberg.Verts

Modification history

2023-06-17 11:54

Archive/Wiedijk100Theorems/Konigsberg.lean

feat: port Archive.Wiedijk100Theorems.Konigsberg (#5181)

Added Konigsberg.Verts View on Github →