Theorem TannakaDuality.FiniteGroup.equivHom_inj

Modification history