Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-08 09:28 126d573a

View on Github →

feat(data/set/basic,logic/function): small additions and renamings

Estimated changes

Modified src/data/set/basic.lean

added theorem set.inter_subset

added theorem set.subtype.val_range

deleted theorem set.subtype_val_image

deleted theorem set.subtype_val_range

added theorem subtype.image_preimage_val

added theorem subtype.preimage_val_eq_preimage_val_iff

added theorem subtype.val_image

added theorem subtype.val_image_subset

added theorem subtype.val_image_univ

added theorem subtype.val_range

Modified src/logic/function.lean

added def function.restrict

added theorem function.restrict_eq

Modified src/order/filter.lean

Modified src/topology/continuity.lean