MIND/INDUS: Automation of Proofs by Mathematical Induction

What does MIND/INDUS mean? The above is one of MIND/INDUS meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Automation of Proofs by Mathematical Induction