Commit 2021-11-11 19:35 12c868a5
View on Github →refactor(group_theory/complement): Generalize card_mul to from subgroups to subsets (#10264)
Adds is_complement.card_mul, which generalizes is_complement'.card_mul.
refactor(group_theory/complement): Generalize card_mul to from subgroups to subsets (#10264)
Adds is_complement.card_mul, which generalizes is_complement'.card_mul.