Row equivalence is an equivalence relation

Created almost 9 years ago