Theorem TannakaDuality.FiniteGroup.equivHom_injective

Modification history

2025-04-28 14:19
Mathlib/RepresentationTheory/Tannaka.lean
chore(*): fix some Fintype/Finite assumptions (#24424) …
Added TannakaDuality.FiniteGroup.equivHom_injectiveView on Github →