Theorem Affine.Simplex.reindex_refl

Modification history

2023-04-21 08:03

Mathlib/LinearAlgebra/AffineSpace/Independent.lean

feat: port LinearAlgebra.AffineSpace.Independent (#3341)

Added Affine.Simplex.reindex_refl View on Github →