mathlib
033a131a - chore(order/zorn): add module docstring (#7767)

Commit

4 years ago

chore(order/zorn): add module docstring (#7767) add module docstring, tidy up notation a bit

Author

YaelDillies

Parents