Theorem pow_right_strictAnti

Modification history