Mathlib v3 is deprecated. Go to Mathlib v4

Theorem language.mem_pow

Modification history

2021-04-22 20:22
src/computability/language.lean
chore(computability/language): golf some proofs (#7301)
Added language.mem_powView on Github →