Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.coe_insert

Modification history

2020-06-18 11:39

src/data/finset.lean

chore(data/finset): minor review (#3105)

Modified finset.coe_insert View on Github →

2018-07-02 07:22

data/finset.lean

feat(computability/turing_machine): reduce to 2-symbol TMs

Modified finset.coe_insert View on Github →

2017-12-06 16:48

data/set/finite.lean

feat(data/set): add lift converting finset to set

Added finset.coe_insert View on Github →