Mathlib v3 is deprecated. Go to Mathlib v4

Def affine_subspace.to_add_torsor

Modification history

2022-09-04 04:40
src/linear_algebra/affine_space/affine_subspace.lean
chore(linear_algebra/*): Lint (#16362) …
Added affine_subspace.to_add_torsorView on Github →