How does the principle of rule induction apply to the case simultaneous inductive definitions?

Proof Technique

New · 0d
question
How does the principle of rule induction apply to the case simultaneous inductive definitions?
Hint
© 2026 Scrambled Kitchen·GitHub