Theorem Sylow.card_eq_index_normalizer

Modification history

2024-11-08 14:58

Mathlib/GroupTheory/Sylow.lean

refactor(GroupTheory/Sylow): use namespacing and dot-notation (#18750) …

Added Sylow.card_eq_index_normalizer View on Github →