mathlib
e9b43b6a - lint(data/equiv/ring): docstrings, inhabited (#4460)

Commit

5 years ago

lint(data/equiv/ring): docstrings, inhabited (#4460)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading