mathlib3
d3e1f5fb - feat(README): add @Vierkantor to maintainer list (#3674)

Commit

5 years ago

feat(README): add @Vierkantor to maintainer list (#3674) Co-authored-by: Vierkantor <Vierkantor@users.noreply.github.com>

Author

robertylewis

Parents