Theorem IsAlgebraic.invOf

Modification history

2025-07-11 15:12
Mathlib/RingTheory/Algebraic/Basic.lean
chore: remove space after ⅟ (#26997) …
Modified IsAlgebraic.invOfView on Github →
2023-11-28 09:41
Mathlib/RingTheory/Algebraic.lean
feat: Add `IsAlgebraic.inv_iff`. (#8651)
Added IsAlgebraic.invOfView on Github →