Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-18 22:03 dbc6574c

View on Github →

chore(data/set/basic): add set.subsingleton.pairwise_on (#7257) Also add set.pairwise_on_singleton.

Estimated changes

modified theorem set.pairwise_on_empty