mathlib
7a48761e
- feat(logic/function): left/right inverse iff (#3897)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
feat(logic/function): left/right inverse iff (#3897) From the sphere eversion project.
References
#4925 - Make prime-avoidance branch build
Author
PatrickMassot
Parents
de20a394
Loading