Commit 2024-02-27 13:37 c8ec7abb

View on Github →

feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): toSpec and fromSpec compose to identity (#9601)

Estimated changes