class of equivalence arrows

[ریاضیات] کلاس های پیکان های هم ارز