Def IsAdjoinRoot.lift

Modification history

2024-08-21 08:17

Mathlib/RingTheory/IsAdjoinRoot.lean

chore: more byAsSorry backports (#15972)

Modified IsAdjoinRoot.lift View on Github →

2023-06-19 04:18

Mathlib/RingTheory/IsAdjoinRoot.lean

feat: port RingTheory.IsAdjoinRoot (#5190)

Added IsAdjoinRoot.lift View on Github →