mathlib3
45347f93 - lint(src/order/rel_iso): docstrings and inhabited (#4441)

Commit

5 years ago

lint(src/order/rel_iso): docstrings and inhabited (#4441)

References

#4925 - Make prime-avoidance branch build

Author

b-mehta

b-mehta

Parents

Loading