Current Data About
inductive step
other details
| aliases |
induction step step case |
| description | part of proof by induction |