mathlib3
045fc443 - docs(tactic/algebra): Module docstring (#13571)

Commit

3 years ago

docs(tactic/algebra): Module docstring (#13571) Write the module docstring.

Author

YaelDillies

YaelDillies

Parents

Loading