mathlib3
2b6dec0b - feat(algebraic_geometry/prime_spectrum): specialization order (#6286)

Commit

4 years ago

feat(algebraic_geometry/prime_spectrum): specialization order (#6286)

Author

jcommelin

jcommelin

Parents

Loading