Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-15 18:42 bab7e996

View on Github →

docs(data/part): add module docstring (#8966)

Estimated changes

modified theorem part.dom_iff_mem
modified theorem part.ne_none_iff