mathlib
b250827f
- correction
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
correction
References
jjaassoonn/closed_immersion
#14899 - feat(algebraic_geometry) : closed immersion
Author
jjaassoonn
Parents
325d447c
Loading
