Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-21 21:04 d59adc18

View on Github →

chore(data/list/alist): nolint (#3129)

Estimated changes

modified def alist.disjoint