Commit 2025-05-14 14:51 28cd001d

View on Github →

feat: a finitely generated submonoid has a minimal generating set (#23904) From Toric

Estimated changes