mathlib
2b279d03 - fix preliminary lemmas for `from_Spec_to_Spec`

Commit

3 years ago

fix preliminary lemmas for `from_Spec_to_Spec`

References

#18138 - feat(proj construction)

Author

jjaassoonn

jjaassoonn

Parents

Loading