Zulip Chat Archive
Stream: Is there code for X?
Topic: Quotients equal implies related
Siddhartha Gadgil (Oct 02 2023 at 06:19):
Is there a theorem saying that if equivalence classes in a quotient of a pair of elements are the same, then the elements are related?
Vincent Beffara (Oct 02 2023 at 06:41):
Last updated: Dec 20 2023 at 11:08 UTC