mathlib3
94bc31d3 - lint(logic/unique): module doc, docstring (#4461)

Commit

5 years ago

lint(logic/unique): module doc, docstring (#4461) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

References

Author

jcommelin

Parents