mathlib3
7488f8ef - lint(order/bounded_lattice): docstring (#4484)

Commit

5 years ago

lint(order/bounded_lattice): docstring (#4484)

References

#4925 - Make prime-avoidance branch build

Author

hrmacbeth

hrmacbeth

Parents

Loading