Theorem AffineSubspace.mem_coe

Modification history

2025-04-01 08:25

Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Defs.lean

chore(LinearAlgebra/AffineSpace): process porting notes (#23505)

Modified AffineSubspace.mem_coe View on Github →

2023-03-24 13:23

Mathlib/LinearAlgebra/AffineSpace/AffineSubspace.lean

feat: port LinearAlgebra.AffineSpace.AffineSubspace (#2923)

Added AffineSubspace.mem_coe View on Github →