TorchLean API

Mathlib.Tactic.Ring