inductive hypothesis (Q54505027)
part of proof by induction
Language:
other details
aliases hypothesis of the induction
description part of proof by induction