Theorem Subalgebra.mk_algebraMap

Modification history

2025-08-14 13:06
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
feat(Subalgebra): simp lemma for algebraMap mk (#27637) …
Added Subalgebra.mk_algebraMapView on Github →