Def Subalgebra.ofRestrictScalars

Modification history

2023-03-11 15:48

Mathlib/Algebra/Algebra/Subalgebra/Tower.lean

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

Added Subalgebra.ofRestrictScalars View on Github →