Row equivalence is an equivalence relation

Created over 8 years ago