Zulip Chat Archive
Stream: Is there code for X?
Topic: equiv.set renamed?
Scott Morrison (Apr 06 2021 at 04:11):
Did equiv.set.range recently get renamed? I have a branch that is complaining it doesn't exist.
Scott Morrison (Apr 06 2021 at 04:14):
Apparently it is now equiv.of_injective.
Eric Wieser (Apr 06 2021 at 07:07):
equiv.of_injective has been there for a while - this was more of a merge than a rename
Last updated: Dec 20 2023 at 11:08 UTC