Rank-nullity theorem
A linear map T:V→W with finite-dimensional source satisfies dim(V)=dim(ker T)+rank(T).
atlas-rank-nullity-theorem · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
A linear map T:V→W with finite-dimensional source satisfies dim(V)=dim(ker T)+rank(T).
atlas-rank-nullity-theorem · canonical_mko