Theorem finset.mem_inter_eq
Modification history
2017-08-27 13:33
data/finset/basic.lean
refactor(data/finset): add type class instances
Deleted finset.mem_inter_eqView on Github →2017-08-27 13:33
data/finset/basic.lean
feat(data/finset): add basics for finsets
Added finset.mem_inter_eqView on Github →2017-08-26 13:03
data/finset/basic.lean
refactor(data/finset): add type class instances
Deleted finset.mem_inter_eqView on Github →2017-08-25 13:00
data/finset/basic.lean
refactor(data/finset): fix formatting issues
Added finset.mem_inter_eqView on Github →