mathlib
4893f6fb - fix `Proj_iso_Spec_Sheaf_component.to_Spec`

Commit

3 years ago

fix `Proj_iso_Spec_Sheaf_component.to_Spec`

References

#18138 - feat(proj construction)

Author

jjaassoonn

jjaassoonn

Parents

Loading