Theorem IsMulFreimanIso.prod

Modification history

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