Theorem Rep.mono_iff_injective

Modification history

2025-02-27 19:23
Mathlib/RepresentationTheory/Rep.lean
feat(RepresentationTheory/GroupCohomology/Functoriality): add functoriality (#21756) …
Added Rep.mono_iff_injectiveView on Github →