mathlib

6433c1c6 - feat(group_theory/sylow): Sylow subgroups are isomorphic (#10059)

feat(group_theory/sylow): Sylow subgroups are isomorphic (#10059) Constructs `sylow.mul_equiv`. Co-authored-by: tb65536 <tb65536@users.noreply.github.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>