Mathlib v3 is deprecated. Go to Mathlib v4

Theorem language.mem_supr

Modification history

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