Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.maps_to_union

Modification history

2020-10-17 20:50

src/data/set/function.lean

chore(linear_algebra/affine_space): redefine `line_map`, add `to_affine_subspace` (#4643) …

Added set.maps_to_union View on Github →