Inductive 774492 35410647 2006-01-16T15:56:32Z ProveIt 483858 fixed double redirect #REDIRECT [[Induction]]