mathlib3

edbbecbe - doc(group_theory/sylow): module doc (#6477)

doc(group_theory/sylow): module doc (#6477) This PR provides the last module doc which was missing from `group_theory`, namely that for `sylow`.