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.prodMapView on Github →