Theorem AffineBasis.ext_elem

Modification history

2023-04-22 09:23

Mathlib/LinearAlgebra/AffineSpace/Basis.lean

feat: port LinearAlgebra.AffineSpace.Basis (#3578)

Added AffineBasis.ext_elem View on Github →