Theorem TannakaDuality.FiniteGroup.rightRegular_apply

Modification history