Theorem Subgroup.inf_eq_bot_of_coprime

Modification history

2024-12-19 09:16
Mathlib/GroupTheory/Index.lean
chore: move `transferTransversal` (#20042) …
Added Subgroup.inf_eq_bot_of_coprimeView on Github →