Commit 2024-02-27 13:37 c8ec7abb
View on Github →feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): toSpec
and fromSpec
compose to identity (#9601)
feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): toSpec
and fromSpec
compose to identity (#9601)