Theorem IsBezout.TFAE

Modification history

2023-06-03 07:38
Mathlib/RingTheory/Bezout.lean
feat: port RingTheory.Bezout (#4607)
Added IsBezout.TFAEView on Github →