first-order fix to the induction principle of V
unmarked errata for 6d9722d
Merge pull request #698 from mikeshulman/Vind

first-order fix to the induction principle of V