Theorem Language.mem_kstar_iff_exists_nonempty

Modification history

2023-12-22 20:59
Mathlib/Computability/Language.lean
chore(Computability/RegularExpressions): golf (#9218) …
Added Language.mem_kstar_iff_exists_nonemptyView on Github →