Documentation

Mathlib.Tactic.ToAdditive

@[to_additive] attributes for basic types #