Def Subalgebra.restrictScalars

Modification history

2023-03-11 15:48

Mathlib/Algebra/Algebra/Subalgebra/Tower.lean

feat: port Algebra.Algebra.Subalgebra.Tower (#2790)

Added Subalgebra.restrictScalars View on Github →