Theorem TannakaDuality.FiniteGroup.forget_map

Modification history