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`. 





leanprover-community/mathlib,leanprover-community/mathlib