Commit 2021-07-28 00:40 7c5fa729
View on Github →refactor(group_theory/sylow): Extract a lemma from the proof of Cauchy's theorem (#8376) Also added one other consequence of card_modeq_card_fixed_points.
refactor(group_theory/sylow): Extract a lemma from the proof of Cauchy's theorem (#8376) Also added one other consequence of card_modeq_card_fixed_points.