Theorem RingEquiv.restrictRootsOfUnity_coe_apply

Modification history