mathlib3
91515320 - lint(order/conditionally_complete_lattice): docstrings (#4434)

Commit

5 years ago

lint(order/conditionally_complete_lattice): docstrings (#4434)

References

#4925 - Make prime-avoidance branch build

Author

hrmacbeth

hrmacbeth

Parents

Loading