Theorem affine_subspace.ext
Modification history
2023-03-19 11:16
src/linear_algebra/affine_space/affine_subspace.lean
chore(linear_algebra/affine_space/affine_subspace) add set_like instance (#18622) …
Added affine_subspace.extView on Github →2021-12-18 16:15
src/linear_algebra/affine_space/affine_subspace.lean
feat(linear_algebra/affine_space/affine_subspace): affine_subspace.comap (#10795) …
Deleted affine_subspace.extView on Github →2020-10-28 06:06
src/linear_algebra/affine_space/affine_subspace.lean
chore(linear_algebra/affine_space/basic): split (#4767) …
Modified affine_subspace.extView on Github →