mathlib3

doc(contribute/style.md): fix section on comments [ci skip]

#1265

Merged