Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-12 18:54 a9cb722c

View on Github →

docs(data/rel): add module docstring (#8248)

Estimated changes

modified def rel