Zulip Chat Archive
Stream: general
Topic: slow-for-everyone-or-just-me
Johan Commelin (Aug 28 2021 at 13:57):
My VScode has been hanging for tens of seconds minutes on docs#monoid_hom.lift_of_right_inverse . Do others also experience such unspeedyness?
Kevin Buzzard (Aug 28 2021 at 15:19):
It's fine for me.
Last updated: Dec 20 2023 at 11:08 UTC