Zulip Chat Archive
Stream: Is there code for X?
Topic: Setoid from function
Violeta Hernández (Feb 24 2025 at 22:10):
Is there some convenient way to build, from a function f : a -> b, the Setoid a with r x y iff f x = f y?
Adam Topaz (Feb 24 2025 at 22:11):
Damiano Testa (Feb 24 2025 at 22:12):
Violeta Hernández (Feb 24 2025 at 22:17):
Thanks!
Last updated: May 02 2025 at 03:31 UTC