Theorem rootsOfUnity.coe_mkOfPowEq

Modification history