Stream: Coq users

Topic: ✔ Identity Morphism is Unique


view this post on Zulip Fabian Beuke (Sep 20 2023 at 07:45):

Ah yes, symmetry. symmetry can be removed. Alright, again, thanks for your help.

view this post on Zulip Notification Bot (Sep 20 2023 at 07:45):

Fabian Beuke has marked this topic as resolved.


Last updated: Jun 23 2024 at 05:02 UTC