Commit 2024-05-04 21:00 269a094f

View on Github →

feat: Components of Multiset.prod over α × β (#12655)

Estimated changes

added theorem Multiset.fst_prod
added theorem Multiset.snd_prod