Documentation

Mathlib.Init.Data.Option.Init.Lemmas

Align statements for declarations from Batteries #