Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-06 19:30 4c8a627b

View on Github →

docs(order/directed): add module docstring (#7779) add module docstring

Estimated changes

modified def directed
modified def directed_on