Theorem AlgHom.prod_comp

Modification history

2025-01-25 06:17
Mathlib/Algebra/Algebra/Prod.lean
feat(Algebra/Algebra/Prod): simple theorems about `fst`, `snd` and `prod` (#21020) …
Added AlgHom.prod_compView on Github →