Stream: Is there code for X?
Topic: equiv.set renamed?
Scott Morrison (Apr 06 2021 at 04:11):
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
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: May 07 2021 at 22:14 UTC