What is the relationship between a generic inductive definition and an ordinary inductive definition?

General

New · 0d
question
What is the relationship between a generic inductive definition and an ordinary inductive definition?
Hint
© 2026 Scrambled Kitchen·GitHub