Theorem MonoidHom.transferSylow_eq_pow_aux

Modification history

2023-06-16 02:09
Mathlib/GroupTheory/Transfer.lean
chore: tidy various files (#5104)
Added MonoidHom.transferSylow_eq_pow_auxView on Github →