Theorem le_of_fin_surjective

Modification history

2023-03-21 21:51

Mathlib/LinearAlgebra/InvariantBasisNumber.lean

feat: port LinearAlgebra.InvariantBasisNumber (#3025)

Added le_of_fin_surjective View on Github →