Theorem le_of_fin_injective

Modification history

2023-03-21 21:51

Mathlib/LinearAlgebra/InvariantBasisNumber.lean

feat: port LinearAlgebra.InvariantBasisNumber (#3025)

Added le_of_fin_injective View on Github →