mathlib
00064bd6 - feat(logic/relation): add equivalence.comap (#10103)
Commit
View On GitHub
Commit
4 years ago
feat(logic/relation): add equivalence.comap (#10103)
Author
eric-wieser eric-wieser
Parents
2d8be73e
FAQ Terms Privacy Refunds Impressum
Loading