Stream: Beginner Questions

Topic: ✔ apply case_tac to ∀x.

view this post on Zulip Isaac Freund (Oct 03 2022 at 10:47):

Thanks for the replies!

view this post on Zulip Notification Bot (Oct 03 2022 at 10:47):

Isaac Freund has marked this topic as resolved.

Last updated: Oct 31 2026 at 04:38 UTC