Theorem IsScalarTower.restrictScalars

Modification history

2026-03-25 15:49
Mathlib/Algebra/Algebra/RestrictScalars.lean
chore: reduce use of `RestrictScalars` (#36694) …
Added IsScalarTower.restrictScalarsView on Github →