Theorem Subgroup.IsComplement'.card_mul_card

Modification history

2026-08-10 08:17
Mathlib/GroupTheory/Complement.lean
chore(GroupTheory/Complement): deduplicate IsComplement.card_mul (#42493) …
Added Subgroup.IsComplement'.card_mul_cardView on Github →