1
The naturals
2
The even numbers
▶
2.1
An induction criterion with a step size of two
2.2
Different definitions of evenness
2.3
Some further results
Dependency graph
An example Rocq blueprint project
Reinis Cirpons
1
The naturals
2
The even numbers
2.1
An induction criterion with a step size of two
2.2
Different definitions of evenness
2.3
Some further results