Theorem map_mulIndicator

Modification history

2025-12-08 11:36

Mathlib/Algebra/Group/Indicator.lean

feat(Algebra/Group/Indicator): generalize MonoidHom to OneHomClass (#32575) …

Added map_mulIndicator View on Github →