Commit 2025-08-14 09:20 2ee683db

View on Github →

chore(Algebra/Group/Submonoid): golf entire list_prod_mem and multiset_prod_mem (#28387)

Estimated changes