Zulip Chat Archive

Stream: new members

Topic: Any tactics to remove hypothesis from context?

Rui Liu (Dec 20 2020 at 20:28):

Any tactics to remove hypothesis from context?

Bryan Gin-ge Chen (Dec 20 2020 at 20:29):

Rui Liu (Dec 20 2020 at 20:30):

That's exactly what I want, thank you!

Last updated: Dec 20 2023 at 11:08 UTC