Theorem span_lt_of_subset_of_card_lt_finrank
Modification history
2024-01-08 18:09
Mathlib/LinearAlgebra/Dimension/Constructions.lean
feat: Rank-nullity theorem for commutative domains (#9412)
Modified span_lt_of_subset_of_card_lt_finrankView on Github →