Theorem IsAlgebraic.invOf_iff

Modification history

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