mathlib

926467dc - doc(contribute/style.md): fix section on comments [ci skip] (#1265)