algebra > linear algebra > linear map > rank-nullity theorem

category theory > morphism > isomorphism > rank-nullity theorem

algebra > abstract algebra > morphism > isomorphism > rank-nullity theorem