Theorem Set.Ioc.coe_pow

Modification history