Theorem AlgHom.prod_fst_snd

Modification history

2025-01-25 06:17
Mathlib/Algebra/Algebra/Prod.lean
feat(Algebra/Algebra/Prod): simple theorems about `fst`, `snd` and `prod` (#21020) …
Modified AlgHom.prod_fst_sndView on Github →
2023-02-21 10:05
Mathlib/Algebra/Algebra/Prod.lean
feat: port Algebra.Algebra.Prod (#2383)
Added AlgHom.prod_fst_sndView on Github →