Documentation

Mathlib.Init.Data.Option.Basic

Align statements for declarations from Std #