Commit 2023-07-28 18:22 f4b21de9
View on Github →feat: Lemmas about commuting probabilities of groups (#6104)
This PR adds lemmas about commuting probabilities of products of groups and about commuting probabilities of infinite groups.
It also changes some definitions and lemmas to use Commute.