Bi-invertible equivalence #3
Labels
No labels
asking-favonia
exercise
questions
size
L
T-equivalence
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: michael/type-theory#3
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Use bi-invertible maps to prove that Bool-id is an equivalence
I think this is resolved in
9716b4b69b
?reason for i think is because the
Iso
doesn't actually use theBiInvEquiv
itself, but i think that's fine for now