TorchLean API

Docs Home Guide Examples Graphs

Mathlib.Tactic.Nontriviality

return to top

source

Imports

Init
Mathlib.Tactic.Nontriviality.Core

Imported by

The `nontriviality` tactic. #