Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-09 22:59 d8672405

View on Github →

feat(data/set/finite): finiteness of set monad ops

Estimated changes

Modified data/set/finite.lean

added theorem set.finite_bUnion

added theorem set.finite_bind

added theorem set.finite_map

added theorem set.finite_pure

added theorem set.finite_seq

added def set.fintype_bUnion

added def set.fintype_bind

added def set.fintype_seq