Theorem left_div_gcd_ne_zero

Modification history

2023-03-21 13:27
Mathlib/RingTheory/EuclideanDomain.lean
feat: port RingTheory.EuclideanDomain (#3017)
Added left_div_gcd_ne_zeroView on Github →