mathlib
fb601459 - cleanup: replace `begin intros ...` with lambdas (#672)

Commit

6 years ago

cleanup: replace `begin intros ...` with lambdas (#672)

References

#672 - cleanup: replace `begin intros ...` with lambdas

Author

kim-em

kim-em

Committer

cipher1024

cipher1024

Parents

Loading