Theorem mem_fintypeAffineCoords_iff_sum

Modification history

2025-11-27 08:19

Mathlib/LinearAlgebra/AffineSpace/Basis.lean

feat(LinearAlgebra/AffineSpace/Basis): spaces of coordinates (#32161) …

Added mem_fintypeAffineCoords_iff_sum View on Github →