Commit 2024-04-09 08:07 e8433a6b

View on Github →

feat: big Zariski is subcanonical (#12028)

Estimated changes