Def AlgHom.snd

Modification history

2023-02-21 10:05
Mathlib/Algebra/Algebra/Prod.lean
feat: port Algebra.Algebra.Prod (#2383)
Added AlgHom.sndView on Github →