Commit 2023-02-15 14:53 87a53f83

View on Github →

feat: port Computability.Language (#1453)

Estimated changes

added theorem Language.add_def
added theorem Language.add_self
added theorem Language.add_supᵢ
added theorem Language.kstar_def
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_supᵢ
added theorem Language.nil_mem_kstar
added theorem Language.nil_mem_one
added theorem Language.not_mem_zero
added theorem Language.one_def
added theorem Language.supᵢ_add
added theorem Language.supᵢ_mul
added theorem Language.zero_def
added def Language