Theorem TannakaDuality.FiniteGroup.forget_obj

Modification history