Mathlib v3 is deprecated. Go to Mathlib v4

Theorem singleton_inter_singleton_eq_empty

Modification history

2019-05-08 11:42
test/convert.lean
chore(tactics): splitting tactics and tests into more files (#985) …
Added singleton_inter_singleton_eq_emptyView on Github →