Theorem NonUnitalSubalgebra.map_center_eq

Modification history

2026-08-18 12:48
Mathlib/Algebra/Algebra/NonUnitalSubalgebra.lean
feat(Algebra): `center` map lemmas (#42105) …
Added NonUnitalSubalgebra.map_center_eqView on Github →