Theorem AlgEquiv.coe_restrictScalars_symm

Modification history

2025-10-07 08:33
Mathlib/Algebra/Algebra/Tower.lean
feat(RingTheory/Presentation): core of a presentation (#24794) …
Added AlgEquiv.coe_restrictScalars_symmView on Github →