Theorem NeZero.of_pos

Modification history

2022-11-11 04:19
Mathlib/Algebra/NeZero.lean
feat: port Algebra.NeZero (#557) …
Added NeZero.of_posView on Github →