Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-02-15 14:53
87a53f83
View on Github →
feat: port Computability.Language (
#1453
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Computability/Language.lean
added
theorem
Language.add_def
added
theorem
Language.add_self
added
theorem
Language.add_supᵢ
added
theorem
Language.append_mem_mul
added
theorem
Language.join_mem_kstar
added
theorem
Language.kstar_def
added
theorem
Language.kstar_def_nonempty
added
theorem
Language.kstar_eq_supᵢ_pow
added
theorem
Language.le_add_congr
added
theorem
Language.le_iff
added
theorem
Language.le_mul_congr
added
def
Language.map
added
theorem
Language.map_id
added
theorem
Language.map_kstar
added
theorem
Language.map_map
added
theorem
Language.mem_add
added
theorem
Language.mem_kstar
added
theorem
Language.mem_mul
added
theorem
Language.mem_one
added
theorem
Language.mem_pow
added
theorem
Language.mem_supᵢ
added
theorem
Language.mul_def
added
theorem
Language.mul_self_kstar_comm
added
theorem
Language.mul_supᵢ
added
theorem
Language.nil_mem_kstar
added
theorem
Language.nil_mem_one
added
theorem
Language.not_mem_zero
added
theorem
Language.one_add_kstar_mul_self_eq_kstar
added
theorem
Language.one_add_self_mul_kstar_eq_kstar
added
theorem
Language.one_def
added
theorem
Language.supᵢ_add
added
theorem
Language.supᵢ_mul
added
theorem
Language.zero_def
added
def
Language