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: May 02 2025 at 03:31 UTC