Theorem Cardinal.power_self_eq

Modification history