Mathlib Changelog v4

Changelog About Github

Theorem AlgHom.fst_prod

Modification history

2023-02-21 10:05

Mathlib/Algebra/Algebra/Prod.lean

feat: port Algebra.Algebra.Prod (#2383)

Added AlgHom.fst_prod View on Github →