Commit 2023-06-17 11:54 d159e972

View on Github →

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

Estimated changes

added inductive Konigsberg.Verts
added def Konigsberg.adj
added def Konigsberg.edges
added def Konigsberg.graph