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
feat: submonoid of pairs with quotient in a submonoid (#22635) This submonoid is part of the definition of toric ideals. From Toric