Documentation

Mathlib.Tactic.Nontriviality

The nontriviality tactic. #