Theorem TannakaDuality.FiniteGroup.leftRegular_apply

Modification history