Theorem Rep.epi_iff_surjective

Modification history

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