Theorem Affine.Simplex.ext_iff

Modification history

2024-08-05 08:52

Mathlib/LinearAlgebra/AffineSpace/Independent.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Deleted Affine.Simplex.ext_iff View on Github →

2023-04-21 08:03

Mathlib/LinearAlgebra/AffineSpace/Independent.lean

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

Added Affine.Simplex.ext_iff View on Github →