Theorem Function.Surjective.isBezout

Modification history

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