docs: add documentation for inductive types#3

rish987 wants to merge 1 commit intodigama0:masterdigama0/lean4lean:masterfrom

rish987:inductive-docsrish987/lean4lean:inductive-docsCopy head branch name to clipboard