mathlib
9f9a8c06 - feat(readme): add @hrmacbeth to maintainers list (#4168)

Commit

5 years ago

feat(readme): add @hrmacbeth to maintainers list (#4168)

References

#4925 - Make prime-avoidance branch build

Author

robertylewis

robertylewis

Parents

Loading