Mathlib Changelog
v4
Changelog
About
Github
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.prod
View on Github →
2024-05-29 08:33
Mathlib/Combinatorics/Additive/FreimanHom.lean
feat: Product of Freiman homs (#13073) …
Added
IsMulFreimanIso.prod
View on Github →