Theorem Algebra.subsingleton

Modification history

2025-09-18 12:51
Mathlib/Algebra/Algebra/Defs.lean
chore: Deprecate IsAdjoinRoot.subsingleton (#29516) …
Added Algebra.subsingletonView on Github →