Stream: Coq users

Topic: ✔ Multiple hypotheses matches the goal


view this post on Zulip Notification Bot (Dec 18 2023 at 06:50):

Laurent Théry has marked this topic as resolved.


Last updated: Jun 13 2024 at 21:01 UTC