mathlib
d1c68ef7 - docs(docker): adjust readme to reflect that the PR was merged (#9303)

Commit

4 years ago

docs(docker): adjust readme to reflect that the PR was merged (#9303) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

eric-wieser

Parents