Theorem restrictRootsOfUnity_coe_apply

Modification history