Theorem Cardinal.pow_cast_right

Modification history