Theorem IsAdjoinRoot.subsingleton

Modification history

2026-03-25 05:05
Mathlib/RingTheory/IsAdjoinRoot.lean
chore: remove declarations deprecated between 2021-03-24 and 2025-09-24 (#37118) …
Deleted IsAdjoinRoot.subsingletonView on Github →
2025-09-18 12:51
Mathlib/RingTheory/IsAdjoinRoot.lean
chore: Deprecate IsAdjoinRoot.subsingleton (#29516) …
Modified IsAdjoinRoot.subsingletonView on Github →
2025-07-23 19:36
Mathlib/RingTheory/IsAdjoinRoot.lean
style(RingTheory/IsAdjoinRoot): improve style and golf (#27374) …
Modified IsAdjoinRoot.subsingletonView on Github →
2023-06-19 04:18
Mathlib/RingTheory/IsAdjoinRoot.lean
feat: port RingTheory.IsAdjoinRoot (#5190)
Added IsAdjoinRoot.subsingletonView on Github →