Comment by JoshTriplett

4 hours ago

At this point, I think it'd be reasonable to start saying "why do we trust intermediate roots, period".

0 comments