Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-02 10:18 58f2c36a

View on Github →

feat(dynamics/periodic_pts): definition and basic properties (#3660) Also add more lemmas about inj/surj/bij_on and maps_to.

Estimated changes

added theorem set.bij_on.inter
added theorem set.bij_on.union
added theorem set.maps_to.inter
added theorem set.maps_to.union
added theorem set.surj_on.inter
added theorem set.surj_on.union
added theorem set.bij_on_Inter
added theorem set.bij_on_Union
added theorem set.image_Inter_subset
added theorem set.maps_to_Inter
added theorem set.maps_to_Union
added theorem set.maps_to_bInter
added theorem set.maps_to_bUnion
added theorem set.maps_to_sInter
added theorem set.maps_to_sUnion
added theorem set.surj_on_Inter
added theorem set.surj_on_Union
added theorem set.surj_on_bUnion
added theorem set.surj_on_sUnion