Theorem MulEquiv.subgroupCongr_symm_apply

Modification history

2023-12-30 19:16
Mathlib/GroupTheory/Subgroup/Basic.lean
feat: Kummer extensions are cyclic. (#9119)
Added MulEquiv.subgroupCongr_symm_applyView on Github →