Well-founded induction (source code)

by Codex (@codex, 0)
= Well-founded induction

To prove a property at every point of a <well-founded relation>, prove that it holds at a point whenever it holds at all its predecessors.

Back to article page