mathlib
df1fb07d - doc(contribute): add link to doc requirements (#1317)

Commit

7 years ago

doc(contribute): add link to doc requirements (#1317)

References

#1317 - doc(contribute): add link to doc requirements [ci skip]

Author

robertylewis

robertylewis

Parents

Loading