Theorem IsBezout.iff_span_pair_isPrincipal

Modification history

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