mathlib
ba2c0563 - feat(data/list/nodup): nodup.pairwise_of_forall_ne (#7587)

Commit

4 years ago

feat(data/list/nodup): nodup.pairwise_of_forall_ne (#7587)

Author

pechersky

pechersky

Parents

Loading