Theorem AlgHom.snd_apply

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.snd_applyView on Github →