Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsMulFreimanIso.prodMap
Modification history
2025-03-13 06:05
Mathlib/Combinatorics/Additive/FreimanHom.lean
chore(*): fix some to_additive-generated names (#22836) …
Added
IsMulFreimanIso.prodMap
View on Github →