Open in TheBrain

Rank-nullity theorem