Theorem Set.Icc.coe_pow

Modification history