Commit 2023-12-07 11:12 2016a40c
View on Github →feat: When Finsupp.prod
is nonzero (#8844)
Also replace Finsupp.nonzero_iff_exists
by a more general lemma.
feat: When Finsupp.prod
is nonzero (#8844)
Also replace Finsupp.nonzero_iff_exists
by a more general lemma.