mathlib3
f8464e35 - chore(computability/language): golf some proofs (#7301)

Commit

4 years ago

chore(computability/language): golf some proofs (#7301)

Author

urkud

urkud

Parents

Loading