Documentation

Mathlib.Init.Data.Int.Lemmas

Align statements for declarations from Std #