Topic: Go to definition misses
Bhavik Mehta (Jan 20 2022 at 16:40):
data/list/prime, line 50, if I use go to definition on
dvd_prime_iff_associated, instead of being taken to that definition (or to the definition of
rw) I get taken to the definition of
pp in core
system/io. Is there anything we can do about this sort of issue?
Last updated: Aug 03 2023 at 10:10 UTC