All Questions
Tagged with tactic coq-unimath
1
question with no upvoted or accepted answers
5
votes
0
answers
164
views
Prove equality in a record type
I am trying to prove something about monoids an categories. This results in the following (partial) proof:
...