doc/inductive.md - third_party/github.com/leanprover/lean4 - Git at Google


            
            # Inductive Types


            [Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean4/inductive_types.html) has a chapter about inductive datatypes.
	# Inductive Types

	[Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean4/inductive_types.html) has a chapter about inductive datatypes.