Theorem pow_right_anti₀

Modification history