Current Data About
inductive hypothesis
other details
aliases |
hypothesis of the induction |
description | part of proof by induction |