Rank-nullity

Summary