mathlib3
fa7c6da2 - docs(order/bounded_lattice): add module docstring (#7799)

Commit

4 years ago

docs(order/bounded_lattice): add module docstring (#7799) add module docstring and some sectioning

Author

YaelDillies

Parents