Commit 2025-05-10 09:26 5699bedb

View on Github →

feat: submonoid of pairs with quotient in a submonoid (#22635) This submonoid is part of the definition of toric ideals. From Toric

Estimated changes