Stream:
Coq users
Topic:
✔ Multiple hypotheses matches the goal
Notification Bot
(Dec 18 2023 at 06:50)
:
Laurent Théry
has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC