mathlib
b8658928 - feat(algebraic_geometry/Spec): Make Spec a functor. (#7790)

Commit

4 years ago

feat(algebraic_geometry/Spec): Make Spec a functor. (#7790)

Author

justus-springer

justus-springer

Parents

Loading