Documentation

Mathlib.Init.Data.Int.DivMod

Align statements for declarations from Std #