Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-14 13:16 6dc50004

View on Github →

feat(computability/language): define formal languages (#5291) Lifted from #5036 in order to include in #5038 as well.

Estimated changes

added theorem language.add_def
added theorem language.add_self
added theorem language.mul_def
added theorem language.one_def
added def language.star
added theorem language.star_def
added theorem language.zero_def
added def language