Commit 2024-06-12 10:07 c290d69e

View on Github →

feat(RingTheory): finite type and finite presentation are stable under base change (#13696)

Estimated changes