Zulip Chat Archive
Stream: new members
Topic: what does ; syntax do?
Kwame Porter Robinson (Feb 04 2022 at 22:23):
cases k; simp, works differently than
cases k,
simp,
What is the ; doing?
Yaël Dillies (Feb 04 2022 at 22:33):
It applies the next tactic to all focused goals.
Last updated: Dec 20 2023 at 11:08 UTC