1
Introduction
▶
1.1
Definition of a Wheel
▶
1.1.1
Basic results
2
References
Dependency graph
Algebraic Wheel Theory in Lean 4
Yan Yablonovskiy
1
Introduction
1.1
Definition of a Wheel
1.1.1
Basic results
2
References