Commit 2024-03-01 17:22 c26b7f13
View on Github →feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): fromSpec
and toSpec
compose to identity (#9618)
feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): fromSpec
and toSpec
compose to identity (#9618)