Theorem Cardinal.pow_eq

Modification history