Theorem IsMulFreimanHom.prod

Modification history

2025-03-13 06:05
Mathlib/Combinatorics/Additive/FreimanHom.lean
chore(*): fix some to_additive-generated names (#22836) …
Deleted IsMulFreimanHom.prodView on Github →
2024-05-29 08:33
Mathlib/Combinatorics/Additive/FreimanHom.lean
feat: Product of Freiman homs (#13073) …
Added IsMulFreimanHom.prodView on Github →