Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-22 19:42 16307258

View on Github →

feat(data/finset): insert_union_distrib (#66)

chore(data/finset): match style guide
feat(data/finset): insert_union_distrib

Estimated changes

Modified data/finset.lean

modified theorem finset.insert_union

added theorem finset.insert_union_distrib

modified theorem finset.union_insert