Theorem IsAlgebraic.inv_iff

Modification history

2023-11-28 09:41
Mathlib/RingTheory/Algebraic.lean
feat: Add `IsAlgebraic.inv_iff`. (#8651)
Added IsAlgebraic.inv_iffView on Github →