# Commit 2021-12-18 16:15 47c676ed

View on Github →feat(linear_algebra/affine_space/affine_subspace): affine_subspace.comap (#10795)
This copies a handful of lemmas from `group_theory/subgroup/basic.lean`

to get things started.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(linear_algebra/affine_space/affine_subspace): affine_subspace.comap (#10795)
This copies a handful of lemmas from `group_theory/subgroup/basic.lean`

to get things started.