mathlib3
2e77ef6a - lint(order/lexographic, pilex): docstrings (#4489)

Commit

5 years ago

lint(order/lexographic, pilex): docstrings (#4489) Docstrings in `order/lexographic` and `order/pilex`

References

Author

awainverse

Parents